Cryptographic system, cryptographic method, cryptographic program, and decryption device

ABSTRACT

In a functional encryption scheme where a decryption key dk can decrypt a ciphertext encrypted by an encryption key ek, when decrypting the encryption key in which a parameter Φ is set, by the decryption key dk in which a parameter Ψ is set, if and only if a relation R(Φ, Ψ) holds, a wider range as a relation R is expressed. Of first information including a polynomial d(x), plural polynomials D i (x), and predicate information, and second information including attribute information, a cryptographic system treats one as a ciphertext and a remaining one as a decryption key. A decryption device, based on the predicate information and attribute information, selects at least one of polynomials D i (x), and calculates a coefficient Δ i  enabling a polynomial constituted based on a polynomial Δ i D i (x) to be divided out by a polynomial d(x), the polynomial Δ i D i (x) obtained by multiplying the selected polynomial D i (x) by coefficient Δ i .

TECHNICAL FIELD

The present invention to a functional encryption scheme which utilizes the notion of quadratic span program.

BACKGROUND ART

The functional encryption scheme is an encryption scheme that provides more sophisticated and flexible relations between an encryption key ek and a decryption key dk.

According to the functional encryption scheme, a parameter Φ and a parameter Ψ are respectively set in the encryption key ek and the decryption key dk. The decryption key dk can decrypt a ciphertext encrypted by the encryption key ek if and only if a relation R(Φ, Ψ) holds.

Non-Patent Literature 3 describes the functional encryption scheme.

Non-Patent Literature 6 describes the quadratic span program.

CITATION LIST Non-Patent Literature

Non-Patent Literature 1: Okamoto, T, Takashima, K.: Homomorphic encryption and signatures from vector decomposition. in: Galbraith, S.D., Paterson, K.G. (eds.) Pairing 2008. LNCS, vol. 5209, pp. 57-74, Springer Heidelberg (2008)

Non-Patent Literature 2: Okamoto, T., Takashima, K.: Hierarchical predicate encryption for inner-products, In: ASIACRYPT 2009, Springer Heidelberg (2009)

Non-Patent Literature 3: Okamoto, T., Takashima, K.: Fully secure functional encryption with general relations from the decisional linear assumption. In: Rabin, T. (ed.) CRYPTO 2010. LNCS, vol. 6223, pp. 191-208. Springer Heidelberg (2010). Full version is available at the Cryptology ePrint Archive website

Non-Patent Literature 4: Okamoto, T., Takashima, K.: Efficient attribute-based signatures for non-monotone predicates in the standard model, in: PKC 2011, Springer Heidelberg (2011)

Non-Patent Literature 5: Okamoto, T., Takashima, K.:Decentralized Attribute-Based Signatures the Cryptology ePrint Archive website

Non-Patent Literature 6: Rosario Gennaro and Craig Gentry and Bryan Parno and Mariana R.aykova: Quadratic Span Programs and Succinct NIZKs without PCPs the Cryptology ePrint Archive website

SUMMARY OF INVENTION Technical Problem

The functional encryption scheme described in Non-Patent Literature 3 is a scheme that utilizes linear span program. This functional encryption scheme can express only a limited range as a relation R.

It is an object of the present invention to provide a functional encryption scheme which, by utilizing the notion of quadratic span program, can express a wider range as the relation R.

Solution to Problem

A cryptographic system according to the present invention includes:

an encryption device which generates one of first information including a quadratic span program and second information including attribute information, as a ciphertext; and

a decryption device which, treating a remaining one of the first information and the second information, as a decryption key, if the quadratic span program accepts the attribute information, decrypts the ciphertext based on information obtained from the quadratic span program and the attribute information.

Advantageous Effects of Invention

The cryptographic system according to the present invention utilizes the notion of the quadratic span program, so that an ideal range can be expressed as the relation R.

BRIEF DESCRIPTION OF DRAWINGS

FIG. 1 is an explanatory drawing of a quadratic span program.

FIG. 2 is an explanatory drawing of a subset I_(u).

FIG. 3 is a configuration diagram of a cryptographic system 10 which executes a KP-FE scheme.

FIG. 4 is a configuration diagram of a cryptographic system 10 which executes a CP-FE scheme.

FIG. 5 is a configuration diagram of a key generation device 100 according to Embodiment 2.

FIG. 6 is a configuration diagram of an encryption device 200 according to Embodiment 2.

FIG. 7 is a configuration diagram of a decryption device 300 according to Embodiment 2.

FIG. 8 is a flowchart showing the process of Setup algorithm according to Embodiment 2.

FIG. 9 is a flowchart showing the process of KeyGen algorithm according to Embodiment 2.

FIG. 10 is a flowchart showing the process of Enc algorithm according to Embodiment 2.

FIG. 11 is a flowchart showing the process of Dec algorithm according to Embodiment 2.

FIG. 12 is a flowchart showing the process of KeyGen algorithm according to Embodiment 4.

FIG. 13 is a diagram showing an example of the hardware configuration of the key generation device 100, the encryption device 200, and the decryption device 300.

DESCRIPTION OF EMBODIMENTS

Embodiments of the present invention will be described hereinafter with reference to the accompanying drawings.

In the following description, a processing device is a CPU 911 (to be described later) and the like. A storage device is a ROM 913, a RAM 914, a magnetic disk 920 (each will be described later), and the like. A communication device is a communication board 915 (to be described later) and the like. An input device is a keyboard 902, the communication board 915 (each will be described later), and the like. Namely, the processing device, the storage device, the communication device, and the input device are hardware.

The notation in the following description will be explained.

When A is a random variable or distribution, Formula 101 denotes that y is randomly selected from A according to the distribution of A. Namely, in Formula 101, y is a random number.

$\begin{matrix} {y\overset{R}{\leftarrow}A} & \left\lbrack {{Formula}\mspace{14mu} 101} \right\rbrack \end{matrix}$

When A is a set, Formula 102 denotes that y is uniformly selected from A. Namely, in Formula 102, y is a uniform random number.

$\begin{matrix} {y\overset{U}{\leftarrow}A} & \left\lbrack {{Formula}\mspace{14mu} 102} \right\rbrack \end{matrix}$

Formula 103 denotes that y is a set, defined or substituted by z. y:=z  [Formula 103]

When a is a fixed value, Formula 104 denotes an event that a machine (algorithm) A outputs a on input x. A(x)→a  [Formula 104]

For example, A(x)→1

Formula 105, namely, F_(q), denotes a finite field of order q.

_(q)  [Formula 105]

A vector symbol denotes a vector representation over the finite field F_(q). Namely, Formula 106 is established. {right arrow over (x)} denotes (x₁, . . . ,x_(n))ε

_(q) ^(n)  [Formula 106]

Formula 107 denotes the inner-product, indicated by Formula 109, of two vectors x^(→) and v^(→) indicated in Formula 108. {right arrow over (x)}·{right arrow over (v)}  [Formula 107] {right arrow over (x)}=(x ₁ , . . . ,x _(n)), {right arrow over (v)}=(v ₁ , . . . ,v _(n))  [Formula 108] Σ_(i=1) ^(n)x_(i)v_(i)  [Formula 109]

Note that X^(T) denotes the transpose of matrix M.

When b_(i) (i=1, . . . , n) is an element of a vector in a space V, namely, when Formula 110 is established, Formula 111 denotes the subspace generated by Formula 112. b _(i)ε

(i=1, . . . ,n)  [Formula 110] span

b₁, . . . ,b_(n)

⊂

(resp. span

{right arrow over (x)}₁, . . . ,{right arrow over (x)}_(n)

)  [Formula 111] b₁, . . . ,b_(n)(resp. {right arrow over (x)}₁, . . . ,{right arrow over (x)}_(n))  [Formula 112]

Note that for bases B and B* indicated in Formula 113, Formula 114 is established.

:=(b ₁ , . . . ,b _(N)),

*:=(b ₁ *, . . . ,b* _(N))  [Formula 113] (x ₁ , . . . ,x _(N))

:=Σ_(i=1) ^(N) x _(i) b _(i), (y ₁ , . . . ,y _(N))

*:=Σ_(i=1) ^(N) y _(i) b* _(i)  [Formula 114]

In the following description, when “Vt” is indicated as a subscript or superscript, Vt is V_(t). Likewise, when “δi,j” is indicated as a superscript, δi,j is δ_(i,j). Likewise, when “fτ” and “κτ” are indicated as superscripts, fτ is f_(τ), and κτ is κ_(τ).

When “→” indicating a vector is attached to a subscript or superscript, “→” is attached as a superscript to the subscript or superscript.

In the following description, a cryptographic process includes a key generation process, an encryption process, and a decryption process.

Embodiment 1.

This embodiment describes a basic concept of the functional encryption scheme that utilizes the quadratic span program, and the outline of the functional encryption scheme that utilizes the quadratic span program.

First, a space having a rich mathematical structure called “dual pairing vector spaces (DPVS)” which is a space for implementing the functional encryption scheme will be described.

Second, a concept for implementing the functional encryption scheme will be described. Here, “quadratic span program”, “equalities of attribute information, and quadratic span program”, and “secret distribution scheme” will be described.

Third, the outline of the functional encryption scheme that utilizes the quadratic span program will be described.

<2. Dual Pairing Vector Spaces>

First, symmetric bilinear pairing groups will be described. The symmetric bilinear pairing groups (q, G, G^(T), g, e) are a tuple of a prime q, a cyclic additive group G of order q, a cyclic multiplicative group G^(T) of order q, g≠0εG, and a polynomial-time computable nondegenerate bilinear pairing e:G×G→G_(T). The nondegenerate bilinear pairing signifies e(sg, tg)=e(g, g)^(st) where e(g, g)≠1.

In the following description, let G_(bpg) be an algorithm that takes as input 1^(λ) and outputs the value of a parameter param_(G):=(q, G, G_(T), g, e) of bilinear pairing groups with a security parameter λ.

Dual pairing vector spaces will now be described.

The dual pairing vector spaces (q, V, G_(T), A, e) can be constituted by a direct product of symmetric bilinear pairing groups (param_(G):=(q, G, G_(T), g, e)). The dual pairing vector spaces (q, V, G_(T), A, e) are a tuple of a prime q, an N-dimensional vector space V over F_(q) indicated in Formula 115, a cyclic group G_(T) of the order q, and a canonical basis A:=(a₁, . . . , a_(N)) of a space V, and have the following operations (1) and (2) where a_(i) is as indicated by Formula 116.

$\begin{matrix} {:=\overset{\overset{N}{︷}}{\times \ldots\mspace{14mu} \times}} & \left\lbrack {{Formula}\mspace{14mu} 115} \right\rbrack \\ {a_{i}:=\left( {\overset{\overset{i - 1}{︷}}{0,\ldots\mspace{14mu},0},g,\overset{\overset{N - i}{︷}}{0,\ldots\mspace{14mu},0}} \right)} & \left\lbrack {{Formula}\mspace{14mu} 116} \right\rbrack \end{matrix}$

Operation (1): Nondegenerate Bilinear Pairing

The pairing on the space V is defined by Formula 117. e(x,y):=Π_(i=1) ^(N) e(G _(i) ,H _(i))ε

_(T)  [Formula 117] where (G ₁ , . . . ,G _(N)):=xε

, (H ₁ , . . . ,H _(N)):=yε

This is nondegenerate bilinear, i.e., e(sx, ty)=e(s, y)^(st) and if e(x, y)=1 for all yεV then x=0. For all i and j, e(a_(i), a_(j))=e(g, g)^(δi,j) where δ_(i,j)=1 if i=j, and δ_(i,j)=0 if i≠j. Also, e(g, g)≠1εG_(T).

Operation (2): Distortion Maps

Linear transformation φ_(i,j) on the space V indicated in Formula 118 can achieve Formula 119.

$\begin{matrix} {{\phi_{i,j}\left( a_{j} \right)} = {{{a_{i}\mspace{14mu}{if}\mspace{14mu} k} \neq {j\mspace{14mu}{then}\mspace{14mu}{\phi_{i,j}\left( a_{k} \right)}}} = 0}} & \left\lbrack {{Formula}\mspace{14mu} 118} \right\rbrack \\ {{{\phi_{i,j}(x)}:=\left( {\overset{\overset{i - 1}{︷}}{0,\ldots\mspace{14mu},0},g_{j},\overset{\overset{N - i}{︷}}{0,\ldots\mspace{14mu},0}} \right)}{{{Note}\mspace{14mu}{that}\mspace{14mu}\left( {g_{1},{\ldots\mspace{14mu} g_{N}}} \right)}:=x}} & \left\lbrack {{Formula}\mspace{14mu} 119} \right\rbrack \end{matrix}$

Linear transformation φ_(i,j) will be called distortion maps.

In the following description, let G_(dpvs) be an algorithm that takes as input, 1^(λ) (λε natural number), Nεnatural number, and the values of the parameter param_(G):=(q, G, G_(T), g, e) of bilinear pairing groups, and outputs the value of a parameter param_(v):=(q, V, G_(T), A, e) of dual pairing vector spaces which have a security parameter λ and which form an N-dimensional space V.

A case will be described where dual pairing vector spaces are constructed from the symmetric bilinear pairing groups described above. Dual pairing vector spaces can be constructed from asymmetric bilinear pairing groups as well. The following description can be easily applied to a case where dual pairing vector spaces are constructed from asymmetric bilinear pairing groups.

<2. Concept for Implementing Functional Encryption>

<2-1. Quadratic Span Program>

FIG. 1 is an explanatory drawing of a quadratic span program.

The quadratic span program over the field F_(q) includes two polynomial sets, i.e., a set A={a_(i)(x)|iε{0, . . . , L}} and a set B={b_(i)(x)|iε{0, . . . , L}}, and a target polynomial d(x). The quadratic span program includes a label ρ of a set I:={1, . . . , L}. All labels ρ_(i)(i=1, . . . , L) are each related to one literal of {p₀, p₁, . . . , p_(n),

p₁, . . . ,

p_(n)}, namely, ρ:I→{p₀, p₁, . . . , p_(n),

p₁, . . . ,

p_(n)}.

For an input u:=(u₁, . . . , u_(n))ε{0, 1}^(n), a true value T of the literal is set from T(p_(j)):=u_(j) and T(

p_(j)):=

u_(j) concerning each integer j of j=1, . . . , n. For any input u, 1 is set as the true value T of p_(o). Namely, T(p₀):=1.

A subset I_(u) of the set I is constructed from the elements of a label for which 1 is set upon input u. Namely, I_(u):={iεI|T(p(i)=1)}. Alternatively, I_(u):={iεI|[ρ(i)=p_(j)

u_(j)=1]

[ρ(i)=

p_(j)

u_(j)=0]

[ρ(i)=p₀]}.

FIG. 2 is an explanatory drawing of the subset I_(u).

Note that in FIG. 2, n=7 and L=6. Also, in FIG. 2, assume that the labels ρ are related such that ρ₁ corresponds to

p₂, ρ₂ to p₁, ρ₃ to p₄, ρ₄ to

p₅, ρ₅ to

p₃, and ρ₆ to p₅.

Regarding input u:=(u₁, . . . , u₇)ε{0, 1}⁷, assume that u₁=1, u₂=0, u₃=1, u₄=0, u₅=0, u₆=1, and u₇=1. In this case, the subset I_(u) consists of elements i of labels ρ_(i) related to literals (p₁, p₃, p₆, p₇,

p₂,

p₄,

p₅) surrounded by broken lines. That is, the subset I_(u) consists of the elements i of labels ρ₁, ρ₂, and ρ₄, thus the subset I_(u):={i=1, 2, 4}.

The quadratic span program accepts input uε{1, 0}^(n) (or accepts the subset I_(u)) if and only if a tuple of (α₁, . . . , α_(L)) and (β₁, . . . , β_(L)) exists where α_(i)=0=β_(i) concerning every i not included in the subset I_(u), the tuple of (α₁, . . . , α_(L)) and (β₁, . . . , β_(L)) being a tuple over a field F_(q) ^(L) in which the target polynomial d(x) divides out Formula 120. Otherwise, the quadratic span program rejects input uε{1, 0}^(n).

$\begin{matrix} {\left( {{a_{0}(x)} + {\sum\limits_{i = 1}^{L}\;{\alpha_{i} \cdot {a_{i}(x)}}}} \right) \cdot \left( {{b_{0}(x)} + {\sum\limits_{i = 1}^{L}\;{\beta_{i} \cdot {b_{i}(x)}}}} \right)} & \left\lbrack {{Formula}\mspace{14mu} 120} \right\rbrack \end{matrix}$

That is, the quadratic span program accepts input uε{1, 0}^(n) if and only if a tuple of α_(i) and β_(i) exists concerning iεI_(u) in which the target polynomial d(x) divides out Formula 121.

$\begin{matrix} {\left( {{a_{0}(x)} + {\sum\limits_{i \in \mathcal{I}}^{\;}\;{\alpha_{i} \cdot {a_{i}(x)}}}} \right) \cdot \left( {{b_{0}(x)} + {\sum\limits_{i\; \in \mathcal{I}}^{\;}\;{\beta_{i} \cdot {b_{i}(x)}}}} \right)} & \left\lbrack {{Formula}\mspace{14mu} 121} \right\rbrack \end{matrix}$

If the quadratic span program accepts input uε{1, 0}^(n), the tuple of α_(i) and β_(i) concerning iεI_(u) is polynomial-time computable (see Non-Patent Literature 6).

With the example shown in FIG. 2, the quadratic span program accepts input uε{1, 0}^(n) if and only if a tuple of α_(i) and β_(i) exists concerning iεI_(u):={i=1, 2, 4} in which the target polynomial d(x) divides out Formula 121.

$\begin{matrix} {\left( {{a_{0}(x)} + {\sum\limits_{i \in {\{{1,2,4}\}}}^{\;}\;{\alpha_{i} \cdot {a_{i}(x)}}}} \right) \cdot \left( {{b_{0}(x)} + {\sum\limits_{i\; \in {\{{1,2,4}\}}}^{\;}\;{\beta_{i} \cdot {b_{i}(x)}}}} \right)} & \left\lbrack {{Formula}\mspace{14mu} 122} \right\rbrack \end{matrix}$

<2-2. Inner-Product of Attributes and Quadratic Span Program>

U_(t) (t=1, . . . , d and U_(t)⊂{0, 1}*) is a sub-universe and an attribute set. Each U_(t) includes identification information (t) of the sub-universe and attribute information (v^(→)) expressed as an n-dimensional vector. Namely, U_(t) is (t, v^(→))) where tε{1, . . . , d} and v^(→)εF_(q) ^(n).

Let U_(t):=(t, v^(→)) be p, that is, p:=(t, v^(→)). An explanation will be given on a method of determining the subset L in a quadratic span program Q:=(A, B, d(x), ρ) by p_(j):=(t, v^(→) _(j))(j=1, . . . , n; tε{1, . . . , d}).

Let an access structure S be a quadratic span program Q:=(A, B, d(x), ρ) accompanying p₀ and {p_(i):=(t, v^(→) _(j))}_(j=1, . . . , n). That is, ρ:{1, . . . , L}→{p₀, (t, v^(→) ₁), . . . , (t, v^(→) _(n)),

(t, v^(→) ₁), . . . ,

(t, v^(→) _(n))}. Let Γ be an attribute set, that is, Γ:={(t, x^(→) _(t))|x^(→) _(t)εF_(q) ^(n), 1≦t≦d}. Note that t is a subset of {1, . . . , d} and need not be all indexes.

When an attribute set Γ is given to the access structure S, a true value T of the literals {p₀, p₁, . . . , p_(n),

p₁, . . . ,

p_(n)} is determined as follows. T(p_(j)):=1 if and only if p_(j)=(t, v^(→) _(j)) and (t, v^(→) _(t))εΓ and v^(→) _(j)·x^(→) _(t)ε0. T(

p_(j))):=1 if and only if p_(j)=

(t, v^(→) _(j)) and (t, x^(→) _(j))εΓ and v^(→) _(j)·x^(→) _(t)≠0. T(p₀):=1. Otherwise, the true value T is 0.

Also, I_(u) (=I_((ρ,Γ)):={iεI|T(ρ(i))=1}, that is, I_((ρ,Γ)):={iεI|[ρ(i)=(t, v^(→) _(j))

(t, x^(→) _(t))εΓ

(v^(→) _(j)·x^(→) _(t))=0]

[(ρ(i)=

(t, v^(→) _(j))

(t, v^(→) _(j))εΓ

v^(→) _(j)·x^(→) _(t)≠0]

[ρ(i)=p₀]}.

<3. Outline of Functional Encryption Scheme>

A functional encryption scheme is constituted by letting one of a decryption key and a ciphertext have the access structure S described above and the other one have the attribute set Γ.

A functional encryption scheme in which a decryption key has an access structure S is called Key-Policy functional encryption (KP-FE) scheme, and an encryption scheme in which a ciphertext has an access structure S is called Ciphertext-Policy functional encryption (CP-FE) scheme.

The structures of the KP-FE scheme and CP-FE scheme and the structures of cryptographic systems 10 that execute the respective schemes will be described.

<3-1. KP-FE Scheme>

The KP-FE scheme consists of four algorithms: Setup, KeyGen, Enc, and Dec.

(Setup)

The Setup algorithm is a randomized algorithm that takes as input a security parameter λ and outputs public parameters pk and a master key sk.

(KeyGen)

The KeyGen algorithm is a randomized algorithm that takes as input an access structure S, the public parameters pk, and the master key sk, and outputs a decryption key sk_(S).

(Enc)

The Enc algorithm is a randomized algorithm that takes as input a message msg, an attribute set Γ:={(t, x^(→) _(t))|x^(→) _(t)εF_(q) ^(n), 1≦t≦d}, and the public parameters pk, and outputs a ciphertext ct_(Γ).

(Dec)

The Dec algorithm is an algorithm that takes as input the ciphertext ct_(Γ) encrypted under the attribute set Γ, the decryption key sk_(S) for the access structure S, and the public parameters pk, and outputs either the message msg or distinguished symbol ⊥.

FIG. 3 is a configuration diagram of a cryptographic system 10 that executes the KP-FE scheme.

The cryptographic system 10 is provided with a key generation device 100, an encryption device 200, and a decryption device 300.

The key generation device 100 executes the Setup algorithm by taking as input a security parameter λ, and generates public parameters pk and a master key sk. The key generation device 100 publicizes the generated public parameters pk. The key generation device 100 also executes the KeyGen algorithm by taking as input an access structure S, generates a decryption key sk_(S), and distributes the decryption key sk_(S) to the decryption device 300 in secrecy.

The encryption device 200 executes the Enc algorithm by taking as input a message msg, an attribute set Γ, and the public parameters pk, and generates a ciphertext ct_(Γ). The encryption device 200 transmits the generated ciphertext ct_(Γ) to the decryption device 300.

The decryption device 300 executes the Dec algorithm by taking as input the public parameters pk, the decryption key sk_(S), and the ciphertext ct_(Γ), and outputs a message msg or distinguished symbol ⊥.

<3-2. CP-FE Scheme>

The CP-FE scheme consists of four algorithms: Setup, KeyGen, Enc, and Dec.

(Setup)

The Setup algorithm is a randomized algorithm that takes as input a security parameter λ and outputs public parameters pk and a master key sk.

(KeyGen)

The KeyGen algorithm is a randomized algorithm that takes as input an attribute set Γ:={(t, x^(→) _(t))|x^(→) _(t)εF_(q) ^(n), 1≦t≦d}, the public parameters pk, and the master key sk, and outputs a decryption key sk_(S).

(Enc)

The Enc algorithm is a randomized algorithm that takes as input a message msg, an access structure S, and the public parameters pk, and outputs a ciphertext ct_(S).

(Dec)

The Dec algorithm is an algorithm that takes as input the ciphertext ct_(S) encrypted under the access structure S, a decryption key sk_(Γ) for the attribute set Γ, and the public parameters pk, and outputs a message msg or distinguished symbol ⊥.

FIG. 4 is a configuration diagram of a cryptographic processing system 10 that executes the CP-FE scheme.

The cryptographic processing system 10 is provided with a key generation device 100, an encryption device 200, and a decryption device 300.

The key generation device 100 executes the Setup algorithm by taking as input a security parameter λ and generates public parameters pk and a master key sk. The key generation device 100 publicizes the generated public parameters pk. The key generation device 100 also executes the KeyGen algorithm by taking as input an attribute set Γ, generates a decryption key sk_(Γ), and distributes the decryption key sk_(Γ) to the decryption device 300 in secrecy.

The encryption device 200 executes the Enc algorithm by taking as input a message msg, an access structure S, and the public parameters pk, and generates a ciphertext ct_(S). The encryption device 200 transmits the generated ciphertext ct_(S) to the decryption device 300.

The decryption device 300 executes the Dec algorithm by taking as input the public parameters pk, the decryption key sk_(Γ), and the ciphertext ct_(S), and outputs a message msg or distinguished symbol ⊥.

In both the KP-FE scheme and the CP-FE scheme, with the Dec algorithm, based on the access structure S and the attribute set Γ, a subset I_((ρ,Γ)) is selected by the method described above, and furthermore a coefficient (α₁, . . . , α_(L)) and a coefficient (β₁, . . . , β_(L)) are specified. Based on the subset I_((ρ,Γ)), the coefficient (α₁, . . . , α_(L)), and the coefficient (β₁, . . . , β_(L)), the ciphertext ct_(Γ) (or ct_(s)) is decrypted and the message msg is calculated.

Normally, the Setup algorithm is executed only once at the setup of the system. The KeyGen algorithm is executed each time the user decryption key is to be generated. The Enc algorithm is executed each time the message msg is to be encrypted. The Dec algorithm is executed each time the ciphertext is to be decrypted.

In the cryptographic system 10 according to Embodiment 1, the functional encryption scheme is constituted using the access structure S which is based on the quadratic span program. As a result, an ideal range can be expressed as a relation R.

Embodiment 2

In Embodiment 2, an explanation will be given on a configuration example of a functional encryption scheme that utilizes a quadratic span program.

The KP-FE scheme is the example to be explained.

FIG. 5 is a configuration diagram of a key generation device 100 according to Embodiment 2. FIG. 6 is a configuration diagram of an encryption device 200 according to Embodiment 2. FIG. 7 is a configuration diagram of a decryption device 300 according to Embodiment 2.

FIGS. 8 and 9 are flowcharts showing the operation of the key generation device 100, in which FIG. 8 is a flowchart showing the process of the Setup algorithm, and FIG. 9 is a flowchart showing the process of the KeyGen algorithm. FIG. 10 is a flowchart showing the operation of the encryption device 200, being the process of the Enc algorithm. FIG. 11 is a flowchart showing the operation of the decryption device 300, being the process of the Dec algorithm.

The function and operation of the key generation device 100 will be described.

The key generation device 100 is provided with a master key generation part 110, a master key storage part 120, an information input part 130, a decryption key generation part 140, and a key distribution part 150. The decryption key generation part 140 is provided with a secret information generation part 141 and a key element generation part 142.

The process of the Setup algorithm will be described with reference to FIG. 8.

(S101: Orthogonal Basis Generation Step)

With the processing device, the master key generation part 110 calculates Formula 123, to generate parameters param, bases B₀ and B*₀, and base s B_(t) and B*_(t).

$\begin{matrix} \left\lbrack {{Formula}\mspace{14mu} 123} \right\rbrack & \; \\ {{input}\mspace{14mu} 1^{\lambda}} & (1) \\ {{param}_{??}:={\left( {q,{??},{??}_{T},g,e} \right)\overset{R}{\longleftarrow}{{??}_{bpg}\left( 1^{\lambda} \right)}}} & (2) \\ {\psi\overset{U}{\longleftarrow}{??}_{q}^{x}} & (3) \\ {{n_{0}:={{2\;{mf}_{\max}} + 1}},{n_{t}:={{2\;{mf}_{\max}k_{\max}} + {n\left( {{t = 1},\ldots\mspace{14mu},d} \right)}}},{N_{0}:={n_{0} + u_{0} + w_{0} + z_{0}}},{N_{t}:={n_{t} + u_{t} + w_{t} + {z_{t}\left( {{t = 1},\ldots\mspace{14mu},d} \right)}}}} & (4) \end{matrix}$

Processes of (5) to (9) are executed concerning each t of t=0, . . . , d.

param ?? t := ( q , ?? t , ?? T , ?? t , e ) := ?? dpvs ⁡ ( 1 λ , N t , param ?? ) ( 5 ) X t := ( χ t , i , j ) i , j = 1 , … ⁢ , N t ⁢ ⟵ U ⁢ GL ⁡ ( N t , q ) ( 6 ) X t * := ( ϑ t , i , j ) i , j = 1 , … ⁢ , N t := ψ · ( X t T ) - 1 ( 7 ) b t , i := ( χ → t , i ) ⁢ ?? t = ∑ j = 1 N t ⁢ ⁢ χ t , i , j ⁢ a t , j ⁢ ⁢ for ⁢ ⁢ i = 1 , … ⁢ , N t , ⁢ ?? t := ( b t , 1 , … ⁢ , b t , N t ) ( 8 ) b t , i * := ( ϑ → t , i ) ⁢ ?? t = ∑ j = 1 N t ⁢ ⁢ ϑ t , i , j ⁢ a t , j ⁢ ⁢ for ⁢ ⁢ i = 1 , … ⁢ , N t , ⁢ ?? t * := ( b t , 1 * , … ⁢ , b t , N t * ) ( 9 ) g T := e ⁡ ( g , g ) ⁢ ψ , ⁢ param := ( { param ?? t } t = 0 , … ⁢ , d , gT ) ( 10 )

Namely, the master key generation part 110 executes the following processes.

(1) With the input device, the master key generation part 110 takes as input the security parameter λ(1^(λ)).

(2) With the processing device, the master key generation part 110 executes the algorithm G_(bpg) by taking as input the security parameter λ inputted in (1), and generates the value of parameters param_(G):=(q, G, G_(T), g, e) of bilinear pairing groups.

(3) With the processing device, the master key generation part 110 generates a random number ψ.

(4) The master key generation part 110 sets n₀+n₀+w₀+z₀ in N₀, and sets n_(t)+u_(t)+w_(t)+z_(t) in N_(t) concerning each integer t of t=1, . . . , d (d is an integer of 1 or more). Note that n₀ is 2mf_(max)+1 and n_(t) is 2mf_(max)k_(max)+n where: m is the number of factors obtained by factorizing the target polynomial d(x); f_(in). is the maximum value (maximum value of f_(τ) to be described later) of the degrees of the factors obtained by factorizing the target polynomial d(x); k_(max) is the maximum value of the number of labels ρ related to one piece of identification information t; n is an integer of 1 or more; and u₀, w₀, z₀, u_(t), w_(t), and z_(t) are each an integer of 0 or more.

Subsequently, the master key generation part 110 executes the following processes (5) to (9) concerning each integer t of t=0, . . . , d.

(5) With the processing device, the master key generation part 110 executes algorithm G_(dpvs) by taking as input the security parameter λ inputted in (1), N_(t) set in (4), and the values of param_(G):=(q, G, G_(T), g, e) generated in (2), and generates the values of parameters param_(Vt):=(q, V_(t), G_(T), A_(t), e) of the dual pairing vector spaces.

(6) With the processing device, the master key generation part 110 takes as input N_(t) set in (4), and F_(q), and generates linear transformation X_(t):=(χ_(t,i,j))_(i,j) randomly. Note that GL stands for General Linear. Namely, GL is a general linear group, a set of square matrices in which the determinant is not 0, and a group with respect to multiplication. Note that (χ_(t,i,j))_(i,j) signifies a matrix concerning suffixes i and j of a matrix χ_(t,i,j) where i, j=1, . . . , N_(t).

(7) With the processing device and based on the random number ψ and the linear transformation X_(t), the master key generation part 110 generates X*_(t):=(ν_(t,i,j))_(i,j):=ψ·(X_(t) ^(T))⁻¹. As (χ_(t,i,j))_(i,j) does, (ν_(t,i,j))_(i,j) signifies a matrix concerning suffixes i and j of a matrix ν_(t,i,j) where i, j=1, . . . , N_(t).

(8) With the processing device and based on the linear transformation X_(t) generated in (6), the master key generation part 110 generates a basis B_(t) from a canonical basis A_(t) generated in (5). Note that x^(→) _(t,i) indicates the i-th row of the linear transformation X_(t).

(9) With the processing device and based on the linear transformation X*_(t) generated in (7), the master key generation part 110 generates a basis B*_(t) from the canonical basis A_(t) generated in (5). Note that v^(→) _(t,i) indicates the i-th row of the linear transformation X*_(t).

(10) With the processing device, the master key generation part 110 sets e(g, g)_(ψ) in g_(T). The master key generation part 110 also sets g_(t) and {param_(Vt)}_(t=0, . . . , d) generated in (5), in param.

In brief, in (S101), the master key generation part 110 executes algorithm G_(ob) indicated in Formula 124, and generates param, the bases B₀ and B*₀, and the bases B_(t) and B*_(t).

$\begin{matrix} {\mspace{79mu}{{{{??}_{ob}\left( 1^{\lambda} \right)}\text{:}}{{{param}_{??}:={\left( {q,{??},{??}_{T},g,e} \right)\overset{R}{\longleftarrow}{{??}_{bpg}\left( 1^{\lambda} \right)}}},{\psi\overset{U}{\longleftarrow}{??}_{q}^{x}},{n_{0}:={{2\;{mf}_{\max}} + 1}},{n_{t}:={{2\;{mf}_{\max}k_{\max}} + {n\left( {{t = 1},\ldots\mspace{14mu},d} \right)}}},{N_{0}:={n_{0} + u_{0} + w_{0} + z_{0}}},{N_{t}:={n_{t} + u_{t} + w_{t} + {z_{t}\left( {{t = 1},\ldots\mspace{14mu},d} \right)}}},\mspace{20mu}{{{for}\mspace{14mu} t} = 0},\ldots\mspace{14mu},d,{{param}_{{??}_{t}}:={\left( {q,{??}_{t},{??}_{T},{??}_{t},e} \right):={{??}_{dpvs}\left( {1^{\lambda},N_{t},{param}_{??}} \right)}}},\mspace{79mu}{X_{t}:={\left( \chi_{t,i,j} \right)_{i,{j = 1},\ldots\mspace{14mu},N_{t}}\overset{U}{\longleftarrow}{{GL}\left( {N_{t},{??}_{q}} \right)}}},\mspace{79mu}{X_{t}^{*}:={\left( \vartheta_{t,i,j} \right)_{i,{j = 1},\ldots\mspace{14mu},N_{t}}:={\psi \cdot \left( X_{t}^{T} \right)^{- 1}}}},{hereafter},{\overset{\rightarrow}{\chi}}_{t,i}}{{{{and}\mspace{14mu}{\overset{\rightarrow}{\vartheta}}_{t,i}\mspace{14mu}{denote}\mspace{14mu}{the}\mspace{14mu} i\text{-}{th}\mspace{14mu}{rows}\mspace{14mu}{of}\mspace{14mu} X_{t}\mspace{14mu}{and}\mspace{14mu} X_{t}^{*}\mspace{14mu}{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},N_{t},{respectively},\mspace{20mu}{b_{t,i}:={{\left( {\overset{\rightarrow}{\chi}}_{t,i} \right){??}_{t}} = {{\sum\limits_{j = 1}^{N_{t}}\;{\chi_{t,i,j}a_{t,j}\mspace{14mu}{for}\mspace{14mu} i}} = 1}}},\ldots\mspace{14mu},N_{t},\mspace{20mu}{{??}_{t}:=\left( {b_{t,1},\ldots\mspace{14mu},b_{t,N_{t}}} \right)},\mspace{20mu}{b_{t,i}^{*}:={{\left( {\overset{\rightarrow}{\vartheta}}_{t,i} \right){??}_{t}} = {{\sum\limits_{j = 1}^{N_{t}}\;{\vartheta_{t,i,j}a_{t,j}\mspace{14mu}{for}\mspace{14mu} i}} = 1}}},\ldots\mspace{14mu},N_{t},\mspace{20mu}{{??}_{t}^{*}:=\left( {b_{t,1}^{*},\ldots\mspace{14mu},b_{t,N_{t}}^{*}} \right)},{g_{T}:={{e\left( {g,g} \right)}\psi}},{{param}:=\left( {\left\{ {param}_{{??}_{t}} \right\}_{{t = 0},\ldots\mspace{14mu},d},{gT}} \right)},\mspace{20mu}{{return}\mspace{14mu}{\left( {{param},{??}_{t},{??}_{t}^{*}} \right).}}}}} & \left\lbrack {{Formula}\mspace{14mu} 124} \right\rbrack \end{matrix}$

(S102: Public Parameter Generation Step)

With the processing device, the master key generation part 110 generates subbases B^₀ and B^_(t) of the bases B₀ and B_(t), respectively, which are generated in (S101), as indicated in Formula 125.

₀=(b _(0,1) ,b _(0,n) ₀ _(+u) ₀ _(+w) ₀ ₊₁ , . . . ,b _(0,n) ₀ _(+u) ₀ _(+w) ₀ _(+z) ₀ ),

_(t):=(b _(t,1) , . . . ,b _(t,n) ,b _(t,n) _(t) _(+u) _(t) _(+w) _(t) ₊₁ , . . . ,b _(t,n) _(t) _(+u) _(t) _(+w) _(t) _(+z) _(t) ) for t=1, . . . ,d  [Formula 125]

The master key generation part 110 treats the generated subbases B^₀ and B^^(A) _(t), the security parameter λ inputted in (S101), and param generated in (S101), to form the public parameters pk.

(S103: Master Key Generation Step)

With the processing device, the master key generation part 110 generates subbases B^*₀ and B^*_(t) of the bases B*₀ and basis B*₆ respectively, which are generated in (S101), as indicated in Formula 126.

*₀:=(b* _(0,1) , . . . ,b* _(0,n) ₀ ,b* _(0,n) ₀ _(+u) ₀ ₊₁ ,b* _(0,n) ₀ _(+u) ₀ _(+w) ₀ ,b* _(0n) ₀ _(+u) ₀ _(+w) ₀ _(+z) ₀ ),

*_(t):=(b* _(t,1) , . . . ,b* _(t,n) _(t) ,b* _(t,n) _(t) _(+u) _(t) ₊₁ , . . . ,b* _(t,n) _(t) _(+u) _(t) _(+w) _(t) ) for t=1, . . . ,d  [Formula 126]

The master key generation part 110 treats the generated subbases B^*₀ and B^*_(t), to form the master key sk.

(S104: Master Key Storing Step)

The master key storage part 120 stores the public parameters pk generated in (S102), in the storage device. The master key storage part 120 also stores the master key sk generated in (S103), in the storage device.

In brief, from (S101) through (S103), the key generation device 100 generates the public parameters pk and the master key sk by executing the Setup algorithm indicated in Formula 127. Then, in (S104), the key generation device 100 stores the generated public parameters pk and master key sk, in the storage device.

Note that the public parameters are publicized via, e.g., a network, so the encryption device 200 and decryption device 300 can acquire them.

$\begin{matrix} {\mspace{79mu}{{{{Setup}\left( 1^{\lambda} \right)}\text{:}}\mspace{20mu}{\left( {{param},\left( {{??}_{t},{??}_{t}^{*}} \right)_{{t = 0},\ldots\mspace{14mu},d}} \right)\overset{R}{\longleftarrow}{{??}_{ob}\left( 1^{\lambda} \right)}}\mspace{20mu}{{{\hat{??}}_{0}:=\left( {b_{0,1},b_{0,{n_{0} + u_{0} + w_{0} + 1}},\ldots\mspace{14mu},b_{0,{n_{0} + u_{0} + w_{0} + z_{0}}}} \right)},{{\hat{??}}_{t}:=\left( {b_{t,1},\ldots\mspace{14mu},b_{t,n},b_{t,{n_{t} + u_{t} + w_{t} + 1}},\ldots\mspace{14mu},b_{t,{n_{t} + u_{t} + w_{t} + z_{t}}}} \right)}}\mspace{20mu}{{{{for}\mspace{14mu} t} = 1},\ldots\mspace{14mu},d,{{\hat{??}}_{0}^{*}:=\left( {b_{0,1}^{*},\ldots\mspace{14mu},b_{0,n_{0}}^{*},b_{0,{n_{0} + u_{0} + 1}}^{*},\ldots\mspace{14mu},b_{0,{n_{0} + u_{0} + w_{0}}}^{*},b_{0,{n_{0} + u_{0} + w_{0} + z_{0}}}^{*}} \right)},{{\hat{??}}_{t}^{*}:=\left( {b_{t,1}^{*},\ldots\mspace{14mu},b_{t,n_{t}}^{*},b_{t,{n_{t} + u_{t} + 1}}^{*},\ldots\mspace{14mu},b_{t,{n_{t} + u_{t} + w_{t}}}^{*}} \right)}}\mspace{20mu}{{{{for}\mspace{14mu} t} = 1},\ldots\mspace{14mu},d,\mspace{20mu}{{{return}\mspace{14mu}{pk}}:=\left( {1^{\lambda},\left\{ {\hat{??}}_{t} \right\}_{{t = 0},\ldots\mspace{14mu},d},{param}} \right)},\mspace{20mu}{{sk}:={\left\{ {\hat{??}}_{t}^{*} \right\}_{{t = 0},\ldots\mspace{14mu},d}.}}}}} & \left\lbrack {{Formula}\mspace{14mu} 127} \right\rbrack \end{matrix}$

The process of the KeyGen algorithm will be described with reference to FIG. 9.

(S201: Information Input Step)

With the input device, the information input part 130 takes as input the access structure S:=(A, B, d(x), ρ) described above. Note that the attribute information of the user of the decryption key sk_(S) is set in ρ. The target polynomial d(x) included in the access structure S can be factorized into m of factors d_(τ)(x)^(fτ) where τ=1, . . . , m, as indicated in Formula 128.

$\begin{matrix} {{d(x)} = {\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{f_{\tau}}}} & \left\lbrack {{Formula}\mspace{14mu} 128} \right\rbrack \end{matrix}$

(S202: Secret Information it Generation Step)

With the processing device, the secret information generation part 141 generates secret information π_(τ,κ,0) and secret information π_(τ,κ,1), as indicated in Formula 129.

$\begin{matrix} {{\pi_{\tau}\overset{U}{\leftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\;\pi_{\tau}}}},{\pi_{\tau,\kappa,0}\overset{U}{\leftarrow}{??}_{q}},{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{11mu},f_{\tau}} \right)}}}} & \left\lbrack {{Formula}\mspace{14mu} 129} \right\rbrack \end{matrix}$

(S203: Secret Information χ Generation Step)

With the processing device, the secret information generation part 141 generates secret information χ_(τ,κ,0) and secret information χ_(τ,κ,1) as indicated in Formula 130.

$\begin{matrix} {{\chi_{\tau}\overset{U}{\leftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\chi_{\tau}}}},{\chi_{\tau,\kappa,0}\overset{U}{\leftarrow}{??}_{q}},{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{11mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}}} & \left\lbrack {{Formula}\mspace{14mu} 130} \right\rbrack \end{matrix}$

(S204: Secret Information s Generation Step)

With the processing device, the secret information generation part 141 generates secret information s₀ ^((τ,κ,0)) and secret information s₀ ^((τ,κ,1)), and secret information s_(i) ^((τ,κ,0)) and secret information s_(i) ^((τ,κ,1)), as indicated in Formula 131.

$\begin{matrix} {\mspace{79mu}{{{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,\mspace{20mu}{\kappa = 0},\ldots\mspace{14mu},f_{\tau},\mspace{20mu}{\iota = 0},1,\mspace{20mu}{\mu^{({\tau,\kappa,0})}:={\deg\left( {d_{\tau}(x)}^{\kappa} \right)}},\mspace{20mu}{\mu^{({\tau,\kappa,1})}:={\deg\left( {{d_{\tau}(x)}f_{\tau}^{- \kappa}} \right)}},\mspace{20mu}\left( {{\kappa = 0},\ldots\mspace{14mu},f_{\tau}} \right),{{a_{i,0}^{({\tau,\kappa})} + {a_{i,1}^{({\tau,\kappa})}x} + \ldots + {a_{i,{\mu^{({\tau,\kappa,0})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,0})} - 1}}}:={{a_{i}(x)}{mod}\mspace{14mu}{d_{\tau}(x)}^{\kappa}}},{{b_{i,0}^{({\tau,\kappa})} + {b_{i,1}^{({\tau,\kappa})}x} + \ldots + {b_{i,{\mu^{({\tau,\kappa,1})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,1})} - 1}}}:={{b_{i}(x)}{mod}\mspace{14mu}{d_{\tau}(x)}f_{\tau}^{- \kappa}}},\mspace{20mu}{\delta_{j}^{({\tau,\kappa,\iota})}\overset{U}{\leftarrow}{{??}_{q}\left( {{j = 0},\ldots\mspace{14mu},{\mu^{({\tau,\kappa,\iota})} - 1}} \right)}}}\mspace{20mu}{{s_{0}^{({\tau,\kappa,0})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}\;{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{0,j}^{({\tau,\kappa})}}}},\mspace{20mu}{s_{0}^{({\tau,\kappa,1})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}\;{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{0,j}^{({\tau,\kappa})}}}},\mspace{20mu}{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,{\xi_{i,\tau,\iota}\overset{U}{\leftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},\mspace{20mu}{\xi_{i,\tau,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}\;{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 0}},1} \right)}}}},\mspace{20mu}{s_{i}^{({\tau,\kappa,0})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}\;{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{i,j}^{({\tau,\kappa})}}} + \xi_{i,\tau,0}}},\mspace{20mu}{s_{i}^{({\tau,\kappa,1})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}\;{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{i,j}^{({\tau,\kappa})}}} + \xi_{i,\tau,1}}}}}} & \left\lbrack {{Formula}\mspace{14mu} 131} \right\rbrack \end{matrix}$

(S205: Key Element Generation Step)

With the processing device, concerning each integer τ of τ=1, . . . , m, each integer κ of κ=0, . . . , f_(τ), and each integer ι of ι=0, 1, the key element generation part 142 generates an element k*₀ ^((τ,κ,ι)) of the decryption key sk_(s), as indicated in Formula 132.

$\begin{matrix} {\mspace{79mu}{{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{k_{0}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{s_{0}^{({\tau,\kappa,\iota})} + \pi_{\tau,\kappa,\iota}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}},\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0,\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*}}}}} & \left\lbrack {{Formula}\mspace{14mu} 132} \right\rbrack \end{matrix}$

As described above, for the bases B and B* indicated in Formula 113, Formula 114 is established. Hence, Formula 132 means that: s₀ ^((τ,κ,ι))+π_(τ,κ,ι) is set as the coefficient for a basis vector b*_(0,1) of a basis B*₀; e^(→) ₀ ^((τ,κ,ι)) is set as the coefficient for basis vectors b*_(0,1+1), . . . , b*_(0,1+n0) of the basis B*₀; 0 is set as the coefficient for basis vectors b*_(0,n0+1), . . . , b*_(0,n0+,u0) of the basis B*₀; η_(0,1) ^((τ,κ,ι)), . . . , η_(0,w0) ^((τ,κ,ι)) are each set as the coefficient for basis vectors b*_(0,n0+u0+1), . . . , b*_(0,n0+u0+w0) of the basis B*₀; and 0 is set as the coefficient for basis vectors b*_(0,n0+u0+w0+1), . . . , b*_(0,n0+u0+w0+z0) of the basis B*₀. Note that n0, u0, w0, and z0 respectively represent n₀, u₀, w₀, and z₀.

Also, e^(→) ₀ ^((τ,κ,ι)) is a 2mf_(max)-dimensional vector in which 1 is set as the coefficient for one basis vector and 0 is set as the coefficient for another basis vector, and the basis vector for which 1 is set as the coefficient differs for each (τ,κ,ι). Likewise, e^(→) _(i) ^((τ,κ,ι)) is a 2mf_(max)k_(max)-dimensional vector in which 1 is set as the coefficient for one basis vector and 0 is set as the coefficient for another basis vector, and the basis vector for which 1 is set as the coefficient differs for each (τ,κ,ι).

Also, e^(→) ₁ is an n-dimensional vector in which 1 is set as the coefficient for the basis vector b*_(t,1) and 0 is set as the coefficient for another basis vector.

With the processing device, concerning each integer τ of τ=1, . . . , m, each integer κ of κ=0, . . . , f_(τ), each integer ι of ι=0, 1, and each integer i of i=1, . . . , L, the key element generation part 142 generates an element k*_(i) ^((τ,κ,ι)) of the decryption key sk_(s), as indicated in Formula 133.

$\begin{matrix} {{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},\mspace{14mu}{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*}}},{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},\mspace{14mu}{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{v}}_{i}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*}}},{{{if}\mspace{14mu}{\rho(i)}} = p_{0}},\mspace{14mu}{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{i}^{({\tau,\kappa,\iota})},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{0}^{*}}}} & \left\lbrack {{Formula}\mspace{14mu} 133} \right\rbrack \end{matrix}$

(S206: Key Distribution Step)

For example, with the communication device, the key distribution part 150 distributes the decryption key sk_(S), constituted as elements by the access structure S inputted in (S201) and k*₀ ^((τ,κ,ι)), k*₁ ^((τ,κ,ι)), . . . , k*_(L) ^((τ,κ,ι)), generated in (S205), to the decryption device 300 in secrecy via the network. As a matter of course, the decryption key sk_(S) may be distributed to the decryption device 300 by another method.

In brief, from (S201) through (S205), the key generation device 100 generates the decryption key sk_(S) by executing the KeyGen algorithm indicated in Formulas 134 to 135. Then, in (S206), the key generation device 100 distributes the generated decryption key sk_(S) to the decryption device 300.

$\begin{matrix} {{KeyGen}\left( {{pk},{sk},{{??}{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\;\pi_{\tau}}}},{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},} \right.} & \left\lbrack {{Formula}\mspace{14mu} 134} \right\rbrack \\ {{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\;{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\;\chi_{\tau}}}},{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},} & \; \\ {{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{14mu},f_{\tau},{\iota = 0},1,{\mu^{({\tau,\kappa,0})}:={\deg\left( {d_{\tau}(x)}^{\kappa} \right)}},{\mu^{({\tau,\kappa,1})}:={\deg\left( {d_{\tau}(x)}^{f_{\tau} - \kappa} \right)}},\left( {{\kappa = 0},\ldots\mspace{14mu},f_{\tau}} \right),{{a_{i,0}^{({\tau,\kappa})} + {a_{i,1}^{({\tau,\kappa})}x} + \ldots + {a_{i,{\mu^{({\tau,\kappa,0})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,0})} - 1}}}:={{a_{i}(x)}{mod}\mspace{14mu}{d_{\tau}(x)}^{\kappa}}},{{b_{i,0}^{({\tau,\kappa})} + {b_{i,1}^{({\tau,\kappa})}x} + \ldots + {b_{i,{\mu^{({\tau,\kappa,1})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,1})} - 1}}}:={{b_{i}(x)}{mod}\mspace{14mu}{d_{\tau}(x)}^{f_{\tau} - \kappa}}},} & \; \\ {{\delta_{j}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}},\left( {{j = 0},\ldots\mspace{14mu},{\mu^{({\tau,\kappa,\iota})} - 1}} \right),{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{s_{0}^{,{({\tau,\kappa,0})}}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}\;{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{0,j}^{({\tau,\kappa})}}}},{s_{0}^{,{({\tau,\kappa,1})}}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}\;{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{0,j}^{({\tau,\kappa})}}}},} & \; \\ {{k_{0}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{s_{0}^{({\tau,\kappa,\iota})} + \pi_{\tau,\kappa,\iota}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}},\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0,\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*}}},{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},{\xi_{i,m,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}\;{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{14mu},{L;{\iota = 0}},1} \right)}}}},{s_{i}^{({\tau,\kappa,0})}:={{\sum\limits_{j = 1}^{\mu^{({\tau,\kappa,0})} - 1}\;{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{i,j}^{({\tau,\kappa})}}} + \xi_{i,\tau,0}}},{s_{i}^{({\tau,\kappa,1})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}\;{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{i,j}^{({\tau,\kappa})}}} + \xi_{i,\tau,1}}},} & \left\lbrack {{Formula}\mspace{14mu} 135} \right\rbrack \\ {{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{i}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*}}},{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{v}}_{i}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*}}},{{{if}\mspace{14mu}{\rho(i)}} = p_{0}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{i}^{({\tau,\kappa,\iota})},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{0}^{*}}},} & \; \\ {{{return}\mspace{14mu}{sk}_{??}}:={\begin{pmatrix} {{??},} \\ \left\{ {k_{0}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}},} \right\}_{{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},{f_{\tau};{\iota = 0}},1} \end{pmatrix}.}} & \; \end{matrix}$

The function and operation of the encryption device 200 will be described.

The encryption device 200 is provided with a public parameter acquisition part 210, an information input part 220, an encrypted data generation part 230, and a data transmission part 240.

The process of the Enc algorithm will be described with reference to FIG. 10.

(S301: Public Parameter Acquisition Step)

For example, with the communication device, the public parameter acquisition part 210 acquires the public parameters pk generated by the key generation device 100, via the network

(S302: Information Input Step)

With the input device, the information input part 220 takes as input the message msg to be transmitted to the decryption device 300. Also, with the input device, the information input part 220 takes as input the attribute set Γ:={(t, x^(→) _(t) :=(x_(t,1), . . . , x_(t,n)εF_(q) ^(n)))|1≦t≦d}. Note that t need not be all of the integers t falling within the range of 1≦t≦d, but may be one or more of integers t falling within the range of 1≦t≦d. Also, for example, decryptable user attribute information is set in the attribute set Γ.

(S303: Cipher Element Generation Step)

With the processing device, the encrypted data generation part 230 generates an element c₀ of the ciphertext ct_(Γ), as indicated in Formula 136.

$\begin{matrix} {\omega,{\zeta\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}},{c_{0}:={\left( {\overset{\overset{n_{0}}{︷}}{\omega,0,\ldots\mspace{14mu},0,}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},\zeta}} \right){??}_{0}}}} & \left\lbrack {{Formula}\mspace{14mu} 136} \right\rbrack \end{matrix}$

With the processing device, concerning each integer t included in the attribute information Γ, the encrypted data generation part 230 generates an element c_(t) of the ciphertext ct_(Γ), as indicated in Formula 137.

$\begin{matrix} {\mspace{79mu}{{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{c_{t}:={\left( {\overset{\overset{n_{t}}{︷}}{{\omega{\overset{\rightarrow}{x}}_{t}},0,\ldots\mspace{14mu},0}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t}}} \right){{??}_{t}.}}}}} & \left\lbrack {{Formula}\mspace{14mu} 137} \right\rbrack \end{matrix}$

With the processing device, the encrypted data generation part 230 generates an element c_(d+1) of the ciphertext ct_(Γ), as indicated in Formula 138. c_(d+1):=g_(T) ^(ζ)msg  [Formula 138]

(S304: Data Transmission Step)

For example, with the communication device, the data transmission part 240 transmits the ciphertext ct_(Γ), constituted as elements by the attribute set Γ inputted in (S302) and c₀, c_(t), and c_(d+1) generated in (S303), to the decryption device 300 via the network. As a matter of course, the ciphertext ct_(Γ) may be transmitted to the decryption device 300 by another method.

In brief, from (S301) through (S303), the encryption device 200 generates the ciphertext ct_(Γ) by executing the Enc algorithm indicated in Formula 139. Then, in (S304), the encryption device 200 transmits the generated ciphertext ct_(Γ) to the decryption device 300.

$\begin{matrix} {{{{Enc}\left( {{pk},{msg},{\Gamma:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \middle| {1 \leq t \leq d} \right\}}} \right)}\text{:}}{\omega,{\zeta\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}},{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{c_{0}:={\left( {\overset{\overset{n_{0}}{︷}}{\omega,0,\ldots\mspace{14mu},0,}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},\zeta}} \right){??}_{0}}},{c_{t}:={\left( {\overset{\overset{n_{t}}{︷}}{{\omega{\overset{\rightarrow}{x}}_{t}},0,\ldots\mspace{14mu},0}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t}}} \right){??}_{t}}},{{{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{c_{d + 1}:={g_{T}^{\zeta}{msg}}},{{{return}\mspace{14mu}{ct}_{\Gamma}}:={\left( {\Gamma,c_{0},{\left\{ c_{t} \right\}_{{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma},}c_{d + 1}}} \right).}}}} & \left\lbrack {{Formula}\mspace{14mu} 139} \right\rbrack \end{matrix}$

The function and operation of the decryption device 300 will be described.

The decryption device 300 is provided with an information acquisition part 310, a span program calculation part 320, a complementary coefficient calculation part 330, and a decryption part 340. The information acquisition part 310 is provided with a decryption key acquisition part 311 and a ciphertext acquisition part 312. The complementary coefficient calculation part 330 is provided with a polynomial selection part 331 and a coefficient calculation part 332. The decryption part 340 is provided with a pairing operation part 341 and a message calculation part 342.

The process of the Dec algorithm will be described with reference to FIG. 11.

(S401: Decryption key Acquisition Step)

For example, with the communication device, the decryption key acquisition part 311 acquires the decryption key sk_(S):=(S, k*₀ ^((τ,κ,ι)), k*₁ ^((τ,κ,ι)), . . . , k*_(L) ^((τ,κ,ι))) distributed by the key generation device 100, via the network. The decryption key acquisition part 311 also acquires the public parameters pk generated by the key generation device 100.

(S402: Ciphertext Acquisition Step)

For example, with the communication device, the ciphertext acquisition part 312 acquires the ciphertext ct_(Γ):=(Γ, c₀, c_(t), c_(d+1)) transmitted by the encryption device 200, via the network.

(S403: Span Program Calculation Step)

With the processing device, the span program calculation part 320 checks whether or not the access structure S included in the decryption key sk_(S) acquired in (S401) accepts Γ included in the ciphertext ct_(Γ) acquired in (S402). The method of checking whether or not the access structure S accepts r is the same as that described in “2-1. Quadratic Span Program in Embodiment 1”.

The span program calculation part 320 advances to the process of (S404) if the access structure S accepts Γ (accept in S403). If the access structure S rejects Γ (reject in S403), the span program calculation part 320 judges that the ciphertext ct_(Γ) cannot be decrypted, and ends the process.

(S404: Polynomial Selection Step)

With the processing device, the polynomial selection part 331 of the complementary coefficient calculation part 330 calculates I_((ρ,Γ)) ⊂{1, . . . , L}. The method of calculating I_((ρ,Γ)) is the same as that described in “2-2. Inner-Product of Attributes and Quadratic Span Program in Embodiment 1”.

(S405: Coefficient Calculation Step)

With the processing device, the coefficient calculation part 332 of the complementary coefficient calculation part 330 calculates coefficients (α₁, . . . , α_(L)), coefficients (β₁, . . . , β_(L)), and degrees (κ₁, . . . , κ_(m)) with which Formula 140 is established. The coefficients (α_(i), . . . , α_(L)), coefficients (β₁, . . . , β_(L)), and degrees (κ₁, . . . , κ_(m)) may be calculated by any method, for example, by round-robin. Π_(τ=1) ^(m)d_(τ)(x)^(κ) ^(τ) |(a₀(x)+Σ_(i=1) ^(L)α_(i)a_(i)(x)), and Π_(τ=1) ^(m)d_(τ)(x)^(ƒτ-κ) ^(τ) |(b₀(x)+Σ_(i=1) ^(L)β_(i)b_(i)(x))  [Formula 140]

Note that α_(i)=0=β_(i) concerning all i not included in I_((ρ,Γ)).

(S406: Pairing Operation Step)

The pairing operation part 341 of the decryption part 340 generates session keys K_(τ,0) and K_(τ,1) by calculating Formula 141 with the processing device.

$\begin{matrix} {{{K_{\tau,0}:={{e\left( {c_{0}k_{0}^{*{({\tau,\kappa_{\tau},0})}}} \right)} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {c_{0},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{i}} \right)}}}}}}}}}}},{K_{\tau,1}:={{e\left( {c_{0}k_{0}^{*{({\tau,\kappa_{\tau},1})}}} \right)} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {c_{0},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{i}} \right)}}}}}}}}}}},{{{where}\mspace{14mu}\mathcal{I}_{{({\rho,\Gamma})},0}}:=\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = p_{0}} \right\}},{\mathcal{I}_{{({\rho,\Gamma})}, +}:={\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = \left( {t,{\overset{\_}{v}}_{i}} \right)} \right\}\mspace{14mu}{and}}}}{\mathcal{I}_{{({\rho,\Gamma})}, -}:=\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = {⫬ \left( {t,{\overset{\_}{v}}_{i}} \right)}} \right\}}} & \left\lbrack {{Formula}\mspace{14mu} 141} \right\rbrack \end{matrix}$

(S407: Message Calculation Step)

The message calculation part 342 of the decryption part 340 generates a message msg′ (=msg) by calculating Formula 142 with the processing device.

$\begin{matrix} {{msg}^{\prime}:={c_{d + 1}/\left( {\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} \right)}} & \left\lbrack {{Formula}\mspace{14mu} 142} \right\rbrack \end{matrix}$

Note that by calculating Formula 141, g_(T) ^(ζ) can be obtained, as indicated in Formula 143. Hence, by calculating Formula 142, the message msg′ (=msg) m can be obtained.

$\begin{matrix} {\begin{matrix} {K_{\tau,0}:={e{\left( {c_{0}k_{0}^{*{({\tau,\kappa_{\tau},0})}}} \right) \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {c_{0},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot}}}}}} \\ {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot}}} \\ {{\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right){\alpha_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{i}} \right)}}},} \\ {= {g_{T}^{{\omega{({{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa_{\tau},0})} - 1}\;{\delta_{j}^{({\tau,\kappa_{\tau},0})}a_{0,j}^{({\tau,\kappa_{\tau}})}}} + \pi_{\tau,\kappa_{\tau},0}})}} + {\zeta\chi}_{\tau,\kappa_{\tau},0}} \cdot}} \\ {g_{T}^{{\omega{({{\sum\limits_{i = 1}^{L}\;{\alpha_{i}{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa_{\tau},0})} - 1}\;{\delta_{j}^{({\tau,\kappa_{\tau},0})}a_{i,j}^{({\tau,\kappa_{\tau}})}}}}} + \xi_{i,\tau,0}})}})}} \\ {= {g_{T}^{{\omega{({{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa_{\tau},0})} - 1}\;{\delta_{j}^{({\tau,\kappa_{\tau},0})}a_{0,j}^{({\tau,\kappa_{\tau}})}}} + \pi_{\tau,\kappa_{\tau},0}})}} + {\zeta\chi}_{\tau,\kappa_{\tau},0}} \cdot}} \\ {g_{T}^{\omega{({{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa_{\tau},0})} - 1}\;{\delta_{j}^{({\tau,\kappa_{\tau},0})}{\sum\limits_{i = 1}^{L}\;{\alpha_{i}a_{i,j}^{({\tau,\kappa_{\tau}})}}}}} + {\alpha_{i}\xi_{i,\tau,0}}})}}} \\ {= {g_{T}^{\omega({\sum\limits_{j = 0}^{\mu^{({\tau,\kappa_{\tau},0})} - 1}\;{\delta_{j}^{({\tau,\kappa_{\tau},0})}{({a_{0,j}^{({\tau,\kappa_{\tau}})} + {\sum\limits_{i = 1}^{L}\;{\alpha_{i}a_{i,j}^{({\tau,\kappa_{\tau}})}}}})}}}} \cdot}} \\ {g_{T}^{{\omega\pi}_{\tau,\kappa_{\tau},0} + {\zeta\chi}_{\tau,\kappa_{\tau},0} + {\omega{\sum\limits_{i = 1}^{L}\;{\alpha_{i}\xi_{i,\tau,0}}}}}} \\ {= g_{T}^{{\omega\pi}_{\tau,\kappa_{\tau},0} + {\zeta\chi}_{\tau,\kappa_{\tau},0} + {\omega{\sum\limits_{i = 1}^{L}\;{\alpha_{i}\xi_{i,\tau,0}}}}}} \end{matrix}{K_{\tau,1} = g_{T}^{{\omega\pi}_{\tau,\kappa_{\tau},1} + {\zeta\chi}_{\tau,\kappa_{\tau},1} + {\omega{\sum\limits_{i = 1}^{L}\;{\beta_{i}\xi_{i,\tau,1}}}}}}\begin{matrix} {{\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} = g_{T}^{\sum\limits_{\tau = 1}^{m}\;{({{\omega{({\pi_{\tau,\kappa_{\tau},0} + \pi_{\tau,\kappa_{\tau},1}})}} + {\zeta{({\chi_{\tau,\kappa_{\tau},0} + \chi_{\tau,\kappa_{\tau},1}})}} + {\omega{\sum\limits_{i = 1}^{L}\;{({{\alpha_{i}\xi_{i,\tau,0}} + {\beta_{i}\xi_{i,\tau,1}}})}}}})}}} \\ {= g_{T}^{\omega({{\sum\limits_{\tau = 1}^{m}\;\pi_{\tau}} + {\zeta{\sum\limits_{\tau = 1}^{m}\;\chi_{\tau}}} + {\omega{\sum\limits_{i = 1}^{L}\;{\alpha_{i}{({\sum\limits_{\tau = 1}^{m}\;\xi_{i,\tau,0}})}}}} + {\omega{\sum\limits_{i = 1}^{L}\;{\beta_{i}{({\sum\limits_{\tau = 1}^{m}\;\xi_{i,\tau,1}})}}}}}}} \\ {= g_{T}^{\zeta}} \end{matrix}} & \left\lbrack {{Formula}\mspace{14mu} 143} \right\rbrack \end{matrix}$

In brief, from (S401) through (S407), the decryption device 300 generates the message msg′ (=msg) by executing the Dec algorithm indicated in Formula 144.

$\begin{matrix} {{Dec}\left( {{pk},{{sk}_{??}:={{\left. \quad{\left( {{??},\left\{ {k_{0}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}}} \right\}_{{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},{f_{\tau};{\iota = 0}},1}} \right),{{ct}_{\Gamma}:=\left( {\Gamma,c_{0},\left\{ c_{t} \right\}_{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma},c_{d + 1}} \right)}} \right)\text{:}{If}\mspace{14mu}{??}}:={{\left( {{??},\mathcal{B},{d(x)},\rho} \right)\mspace{14mu}{accepts}\mspace{14mu}\Gamma}:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \right\}}}},{{{then}\mspace{14mu}{compute}\mspace{14mu}\mathcal{I}_{({\rho,\Gamma})}} \subseteq \left\{ {1,\ldots\mspace{14mu},L} \right\}},\left( {\alpha_{1},\ldots\mspace{14mu},\alpha_{L}} \right),{{\left( {\beta_{1},\ldots\mspace{14mu},\beta_{L}} \right)\mspace{14mu}{with}\mspace{14mu}\alpha_{i}} = {0 = {{\beta_{i}\mspace{14mu}{for}\mspace{14mu}{all}\mspace{14mu} i} \notin \mathcal{I}_{({\rho,\Gamma})}}}},\left. {{and}\mspace{14mu}\left( {\kappa_{1},\ldots\mspace{14mu},\kappa_{m}} \right)\mspace{14mu}{such}\mspace{14mu}{that}{\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{\kappa_{\tau}}}} \middle| \left( {{a_{0}(x)} + {\sum\limits_{i = 1}^{L}\;{\alpha_{i}{a_{i}(x)}}}} \right) \right.,\left. {{and}\mspace{14mu}{\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)^{f_{\tau} - \kappa_{\tau}}}}} \middle| \left( {{b_{0}(x)} + {\sum\limits_{i = 1}^{L}\;{\beta_{i}{b_{i}(x)}}}} \right) \right.,{K_{\tau,0}:={e{\left( {c_{0},k_{0}^{*{({\tau,\kappa_{\tau},0})}}} \right) \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {c_{0},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right){\alpha_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{i}} \right)}}}}}}}}}}}},{K_{\tau,1}:={e{\left( {c_{0},k_{0}^{*{({\tau,\kappa_{\tau},1})}}} \right) \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {c_{0},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right){\beta_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{i}} \right)}}}}}}}}}}}},{{{where}\mspace{14mu}\mathcal{I}_{{({\rho,\Gamma})},0}}:=\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = p_{0}} \right\}},{\mathcal{I}_{{({\rho,\Gamma})}, +}:={{\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = \left( {t,{\overset{\_}{v}}_{i}} \right)} \right\}\mspace{14mu}{and}\mathcal{I}_{{({\rho,\Gamma})}, -}}:={{{\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = {⫬ \left( {t,{\overset{\_}{v}}_{i}} \right)}} \right\}.{return}}\mspace{14mu}{msg}^{\prime}}:={c_{d + 1}/{\left( {\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} \right).}}}}}} \right.} & \left\lbrack {{Formula}\mspace{14mu} 144} \right\rbrack \end{matrix}$

As described above, the cryptographic system 10 according to Embodiment 2 implements the functional encryption scheme that utilizes the quadratic span program.

By utilizing the quadratic span program, a wider range can be expressed as the relation R.

In particular, in the cryptographic system 10 according to Embodiment 2, for each polynomial d_(τ)(x)^(fτ) obtained by factorizing the target polynomial d(x), an element which is a remainder of dividing a polynomial a_(i)(x) by a polynomial d_(τ)(x)^(κ) and an element which is a remainder of dividing a polynomial b_(i)(x) by a polynomial d_(τ)(x)^(fτ-κ) are treated as key elements k*₀ ^((τ,κ,ι)), k*₁ ^((τ,κ,ι)), . . . , k*_(L) ^((τ,κ,ι)). Also, secret information n and secret information χ are set by sharing in each key element k*₀ ^((τ,κ,ι)). Using the coefficients α and β, pairing operation of the key elements and the cipher elements is carried out to render the remainder set in each key element to 0, the secret information it to 0, and the secret information χ to 1, thereby extracting the session keys K_(τ,0) and K_(τ,1) from the ciphertext. This implements the functional encryption scheme that utilizes the quadratic span program.

The KP-FE scheme has been described above. If the KeyGen algorithm, Enc algorithm, and Dec algorithm are modified as indicated in Formulas 145 to 148, the CP-FE scheme may be realized. Note that the Setup algorithm is the same between the KP-FE scheme and the CP-FE scheme.

$\begin{matrix} {{{{KeyGen}\left( {{pk},{sk},{\Gamma:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \middle| {1 \leq t \leq d} \right\}}} \right)}\text{:}}{{\omega\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},}} & \left\lbrack {{Formula}\mspace{14mu} 145} \right\rbrack \\ {{k_{0}^{*}:={\left( {\overset{\overset{n_{0}}{︷}}{\omega,0,\ldots\mspace{14mu},0,}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0,1}} \right){??}_{0}^{*}}},{k_{t}^{*}:={\left( {\overset{\overset{n_{t}}{︷}}{{\omega{\overset{\rightarrow}{x}}_{t}},0,\ldots\mspace{14mu},0}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*}}},{{{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{{{return}\mspace{14mu}{sk}_{\Gamma}}:={\left( {\Gamma,k_{0}^{*},\left\{ k_{t}^{*} \right\}_{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma}} \right).}}} & \; \\ {{Enc}\left( {{pk},{msg},{{??}{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\;\pi_{\tau}}}},{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\;\chi_{\tau}}}},} \right.} & \left\lbrack {{Formula}\mspace{14mu} 146} \right\rbrack \\ {{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{14mu},f_{\tau},{\iota = 0},1,{\mu^{({\tau,\kappa,0})}:={\deg\left( {d_{\tau}(x)}^{\kappa} \right)}},{\mu^{({\tau,\kappa,1})}:={\deg\left( {d_{\tau}(x)}^{f_{\tau} - \kappa} \right)}},\left( {{\kappa = 0},\ldots\mspace{14mu},f_{\tau}} \right),} & \; \\ {{{a_{i,0}^{({\tau,\kappa})} + {a_{i,1}^{({\tau,\kappa})}x} + \ldots + {a_{i,{\mu^{({\tau,\kappa,0})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,0})} - 1}}}:={{a_{i}(x)}{mod}\mspace{14mu}{d_{\tau}(x)}^{\kappa}}},{{b_{i,0}^{({\tau,\kappa})} + {b_{i,1}^{({\tau,\kappa})}x} + \ldots + {b_{i,{\mu^{({\tau,\kappa,1})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,1})} - 1}}}:={{b_{i}(x)}{mod}\mspace{14mu}{d_{\tau}(x)}^{f_{\tau} - \kappa}}},{\delta_{j}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}},\left( {{j = 0},\ldots\mspace{14mu},{\mu^{({\tau,\kappa,\iota})} - 1}} \right),{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}},{s_{0}^{({\tau,\kappa,0})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}\;{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{0,j}^{({\tau,\kappa})}}}},{s_{0}^{({\tau,\kappa,1})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}\;{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{0,j}^{({\tau,\kappa})}}}},} & \; \\ {{c_{0}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{0}}{︷}}{{s_{0}^{({\tau,\kappa,\iota})} + \pi_{\tau,\kappa,\iota}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})},{\delta\chi}_{\tau,\kappa,\iota}}} \right){??}_{0}}},{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,} & \left\lbrack {{Formula}\mspace{14mu} 147} \right\rbrack \\ {{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},{\xi_{i,m,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}\;{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{14mu},{L;{\iota = 0}},1} \right)}}}},{s_{i}^{({\tau,\kappa,0})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}\;{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{i,j}^{({\tau,\kappa})}}} + \xi_{i,\tau,0}}},{s_{i}^{({\tau,\kappa,1})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}\;{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{i,j}^{({\tau,\kappa})}}} + \xi_{i,\tau,1}}},{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}},} & \; \\ {{c_{i}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{t}}{︷}}{{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}}} \right){??}_{t}}},{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}},{c_{i}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{v}}_{i}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}}} \right){??}_{t}}},{{{if}\mspace{14mu}{\rho(i)}} = p_{0}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{z_{0}}},{c_{i}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{i}^{({\tau,\kappa,\iota})},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}}} \right){??}_{0}}},{c_{d + 1}:={g_{T}^{\zeta}{msg}}},} & \; \\ {{{return}\mspace{14mu}{ct}_{??}}:={\left( {{??},{\left\{ {c_{0}^{({\tau,\kappa,\iota})},c_{1}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},c_{L}^{({\tau,\kappa,\iota})},} \right\}_{{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},{f_{\tau};{\iota = 0}},1}c_{d + 1}}} \right).}} & \; \\ {{{Dec}\left( {{pk},{{sk}_{\Gamma}:=\left( {\Gamma,k_{0}^{*},\left\{ k_{t}^{*} \right\}_{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma}} \right)},{{ct}_{??}:=\left( {{??},\left\{ {c_{0}^{({\tau,\kappa,\iota})},c_{1}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},c_{L}^{({\tau,\kappa,\iota})}} \right\}_{{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},{f_{\tau};{\iota = 0}},1},c_{d + 1}} \right)}} \right)}\text{:}} & \left\lbrack {{Formula}\mspace{14mu} 148} \right\rbrack \\ {{{{If}\mspace{14mu}{??}}:={{\left( {{??},\mathcal{B},{d(x)},\rho} \right)\mspace{14mu}{accepts}\mspace{14mu}\Gamma}:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \right\}}},\mspace{20mu}{{{then}\mspace{14mu}{compute}\mspace{14mu}\mathcal{I}_{({\rho,\Gamma})}} \subseteq \left\{ {1,\ldots\mspace{14mu},L} \right\}},\left( {\alpha_{1},\ldots\mspace{14mu},\alpha_{L}} \right),{{\left( {\beta_{1},\ldots\mspace{14mu},\beta_{L}} \right)\mspace{14mu}{with}\mspace{14mu}\alpha_{i}} = {0 = {{\beta_{i}\mspace{14mu}{for}\mspace{14mu}{all}\mspace{14mu} i} \notin \mathcal{I}_{({\rho,\Gamma})}}}},\left. {{{and}\left( {\kappa_{1},\ldots\mspace{14mu},\kappa_{m}} \right)}\mspace{11mu}{such}\mspace{14mu}{that}\mspace{14mu}{\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{\kappa_{\tau}}}} \middle| \left( {{a_{0}(x)} + {\sum\limits_{i = 1}^{L}\;{\alpha_{i}{a_{i}(x)}}}} \right) \right.,\left. {{and}\mspace{14mu}{\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)^{f_{\tau} - \kappa_{\tau}}}}} \middle| \left( {{b_{0}(x)} + {\sum\limits_{i = 1}^{L}\;{\beta_{i}{b_{i}(x)}}}} \right) \right.,} & \; \\ {{K_{\tau,0}:={{e\left( {k_{0}c_{0}^{*{({\tau,\kappa_{\tau},0})}}} \right)} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {k_{0},c_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {k_{t},c_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{{e\left( {k_{t},c_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}}}}}}},{K_{\tau,1}:={{e\left( {k_{0}c_{0}^{*{({\tau,\kappa_{\tau},1})}}} \right)} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {k_{0},c_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {k_{t},c_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{{e\left( {k_{t},c_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}}}}}}},} & \; \\ {{{{{where}\mspace{14mu}\mathcal{I}_{{({\rho,\Gamma})},0}}:=\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = p_{0}} \right\}},{\mathcal{I}_{{({\rho,\Gamma})}, +}:={\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = \left( {t,{\overset{\_}{v}}_{i}} \right)} \right\}\mspace{14mu}{and}}}}{\mathcal{I}_{{({\rho,\Gamma})}, -}:={{{\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = {⫬ \left( {t,{\overset{\_}{v}}_{i}} \right)}} \right\}.{return}}\mspace{14mu}{msg}^{\prime}}:={c_{d + 1}/{\left( {\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} \right).}}}}} & \; \end{matrix}$

The functional encryption scheme has been described above. If the Setup algorithm, KeyGen algorithm, Enc algorithm, and Dec algorithm are modified as indicated in Formulas 149 to 153, an attribute-based encryption scheme may be realized.

With the attribute-based encryption scheme, in the Setup algorithm, n_(t) is 2mf_(max)k_(max)+2.

$\begin{matrix} {{{{Setup}\left( 1^{\lambda} \right)}\text{:}}{\left( {{param},\left( {{??}_{t},{??}_{t}^{*}} \right)_{{t = 0},\ldots\mspace{14mu},d}} \right)\overset{R}{\longleftarrow}{{??}_{ob}\left( 1^{\lambda} \right)}}{{{\hat{??}}_{0}:=\left( {b_{0,1},b_{0,{n_{0} + u_{0} + w_{0} + 1}},\ldots\mspace{14mu},b_{0,{n_{0} + u_{0} + w_{0} + z_{0}}}} \right)},{{\hat{??}}_{t}:=\left( {b_{t,1},b_{t,2},b_{t,{n_{t} + u_{t} + w_{t} + 1}},\ldots\mspace{14mu},b_{t,{n_{t} + u_{t} + w_{t} + z_{t}}}} \right)},\mspace{20mu}{{{for}\mspace{14mu} t} = 1},\ldots\mspace{14mu},d,{{\hat{??}}_{0}^{*}:=\left( {b_{0,1}^{*},\ldots\mspace{14mu},b_{0,n_{0}}^{*},b_{0,{n_{0} + u_{0} + 1}}^{*},\ldots\mspace{14mu},b_{0,{n_{0} + u_{0} + w_{0}}}^{*},b_{0,{n_{0} + u_{0} + w_{0} + z_{0}}}^{*}} \right)},{{\hat{??}}_{t}^{*}:=\left( {b_{t,1}^{*},\ldots\mspace{14mu},b_{t,n_{t}}^{*},b_{t,{n_{t} + u_{t} + 1}}^{*},\ldots\mspace{14mu},b_{t,{n_{t} + u_{t} + w_{t}}}^{*}} \right)}}{{{{for}\mspace{14mu} t} = 1},\ldots\mspace{14mu},d,{{{return}\mspace{14mu}{pk}}:=\left( {1^{\lambda},\left\{ {\hat{??}}_{t} \right\}_{{t = 0},\ldots\mspace{14mu},d},{param}} \right)},{{sk}:={\left\{ {\hat{??}}_{t}^{*} \right\}_{{t = 0},\ldots\mspace{14mu},d}.}}}} & \left\lbrack {{Formula}\mspace{14mu} 149} \right\rbrack \\ {{KeyGen}\left( {{pk},{sk},{{??}{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\;\pi_{\tau}}}},{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},} \right.} & \left\lbrack {{Formula}\mspace{14mu} 150} \right\rbrack \\ {{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\;\chi_{\tau}}}},{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},} & \; \\ {{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{14mu},f_{\tau},{\iota = 0},1,{\mu^{({\tau,\kappa,0})}:={\deg\left( {d_{\tau}(x)}^{\kappa} \right)}},{\mu^{({\tau,\kappa,1})}:={\deg\left( {d_{\tau}(x)}^{f_{\tau} - \kappa} \right)}},\left( {{\kappa = 0},\ldots\mspace{14mu},f_{\tau}} \right),} & \; \\ {{{a_{i,0}^{({\tau,\kappa})} + {a_{i,1}^{({\tau,\kappa})}x} + \ldots + {a_{i,{\mu^{({\tau,\kappa,0})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,0})} - 1}}}:={{a_{i}(x)}{mod}\mspace{14mu}{d_{\tau}(x)}^{\kappa}}},{{b_{i,0}^{({\tau,\kappa})} + {b_{i,1}^{({\tau,\kappa})}x} + \ldots + {b_{i,{\mu^{({\tau,\kappa,1})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,1})} - 1}}}:={{b_{i}(x)}{mod}\mspace{14mu}{d_{\tau}(x)}^{f_{\tau} - \kappa}}},} & \; \\ {{\delta_{j}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}},\left( {{j = 0},\ldots\mspace{14mu},{\mu^{({\tau,\kappa,\iota})} - 1}} \right),{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{s_{0}^{,{({\tau,\kappa,0})}}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}\;{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{0,j}^{({\tau,\kappa})}}}},{s_{0}^{,{({\tau,\kappa,1})}}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}\;{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{0,j}^{({\tau,\kappa})}}}},} & \; \\ {{k_{0}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{s_{0}^{({\tau,\kappa,\iota})} + \pi_{\tau,\kappa,\iota}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}}\overset{\overset{z_{0}}{︷}}{,0,\ldots\mspace{14mu},0,\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*}}},\mspace{20mu}{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,} & \left\lbrack {{Formula}\mspace{14mu} 151} \right\rbrack \\ {{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},{\xi_{i,m,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}\;{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{14mu},{L;{\iota = 0}},1} \right)}}}},{s_{i}^{({\tau,\kappa,0})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}\;{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{i,j}^{({\tau,\kappa})}}} + \xi_{i,\tau,0}}},{s_{i}^{({\tau,\kappa,1})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}\;{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{i,j}^{({\tau,\kappa})}}} + \xi_{i,\tau,1}}},{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,v_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},} & \; \\ {{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})} + {\theta_{i}v_{i}}},{- \theta_{i}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*}}},{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,v_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})}v_{i}},{{- s_{i}^{({\tau,\kappa,\iota})}}{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*}}},{{{if}\mspace{14mu}{\rho(i)}} = p_{0}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{i}^{({\tau,\kappa,\iota})},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{0}^{*}}},} & \; \\ {{{return}\mspace{14mu}{sk}_{??}}:={\begin{pmatrix} {{??},} \\ \left\{ {k_{0}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}},} \right\}_{{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},{f_{\tau};{\iota = 0}},1} \end{pmatrix}.}} & \; \\ {\;{{{Enc}\left( {{pk},{msg},{\Gamma:=\left\{ \left( {t,x_{t}} \right) \middle| {1 \leq t \leq d} \right\}}} \right)\text{:}}{\omega,{\zeta\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}},{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,x_{t}} \right)} \in \Gamma},{c_{0}:={\left( {\overset{\overset{n_{0}}{︷}}{\omega,0,\ldots\mspace{14mu},0,}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},\zeta}} \right){??}_{0}}},{c_{t}:={\left( {\overset{\overset{n_{t}}{︷}}{{\omega\left( {1,x_{t}} \right)},0,\ldots\mspace{14mu},0}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t}}} \right){??}_{t}}},{{{for}\mspace{14mu}\left( {t,x_{t}} \right)} \in \Gamma},{c_{d + 1}:={g_{T}^{\zeta}{msg}}},{{ct}_{\Gamma}:=\left( {\Gamma,c_{0},{\left\{ c_{t} \right\}_{{{({t,x_{t}})} \in \Gamma},}c_{d + 1}}} \right)},{{return}\mspace{14mu}{{ct}_{\Gamma}.}}}}} & \left\lbrack {{Formula}\mspace{14mu} 152} \right\rbrack \\ {{Dec}\left( {{pk},{{sk}_{??}:={\left. \quad{\begin{pmatrix} {{??},} \\ \left\{ {k_{0}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}}} \right\}_{{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},{f_{\tau};{\iota = 0}},1} \end{pmatrix},{{ct}_{\Gamma}:=\left( {\Gamma,c_{0},\left\{ c_{t} \right\}_{{({t,x_{t}})} \in \Gamma},c_{d + 1}} \right)}} \right)\text{:}}}} \right.} & \left\lbrack {{Formula}\mspace{14mu} 153} \right\rbrack \\ {{{{{If}\mspace{14mu}{??}}:={{\left( {{??},\mathcal{B},{d(x)},\rho} \right)\mspace{14mu}{accepts}\mspace{14mu}\Gamma}:=\left\{ \left( {t,x_{t}} \right) \right\}}},{{{then}\mspace{14mu}{compute}\mspace{14mu}\mathcal{I}_{({\rho,\Gamma})}} \subseteq \left\{ {1,\ldots\mspace{14mu},L} \right\}},\left( {\alpha_{1},\ldots\mspace{14mu},\alpha_{L}} \right),{{\left( {\beta_{1},\ldots\mspace{14mu},\beta_{L}} \right)\mspace{14mu}{with}\mspace{14mu}\alpha_{i}} = {0 = {{\beta_{i}\mspace{14mu}{for}\mspace{14mu}{all}\mspace{14mu} i} \notin \mathcal{I}_{({\rho,\Gamma})}}}},{{and}\mspace{14mu}\left( {\kappa_{1},\ldots\mspace{14mu},\kappa_{m}} \right)\mspace{14mu}{such}\mspace{14mu}{that}}}{\left. {\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{\kappa_{\tau}}} \middle| \left( {{a_{0}(x)} + {\sum\limits_{i = 1}^{L}\;{\alpha_{i}{a_{i}(x)}}}} \right) \right.,\left. {{and}\mspace{14mu}{\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)^{f_{\tau} - \kappa_{\tau}}}}} \middle| \left( {{b_{0}(x)} + {\sum\limits_{i = 1}^{L}\;{\beta_{i}{b_{i}(x)}}}} \right) \right.,}} & \; \\ {{K_{\tau,0}:={e{\left( {c_{0}k_{0}^{*{({\tau,\kappa_{\tau},0})}}} \right) \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {c_{0},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},0})}}} \right){\alpha_{i}/\left( {v_{i} \cdot x_{t}} \right)}}}}}}}}}}}},{K_{\tau,1}:={e{\left( {c_{0}k_{0}^{*{({\tau,\kappa_{\tau},1})}}} \right) \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})},0}}\;{{e\left( {c_{0},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, +}}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{i \in \mathcal{I}_{{({\rho,\Gamma})}, -}}\;{e\left( {c_{t},k_{i}^{*{({\tau,\kappa_{\tau},1})}}} \right){\beta_{i}/\left( {v_{i} \cdot x_{t}} \right)}}}}}}}}}}}},} & \; \\ {{{{{where}\mspace{14mu}\mathcal{I}_{{({\rho,\Gamma})},0}}:=\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = p_{0}} \right\}},{\mathcal{I}_{{({\rho,\Gamma})}, +}:={\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = \left( {t,v_{i}} \right)} \right\}\mspace{14mu}{and}}}}{\mathcal{I}_{{({\rho,\Gamma})}, -}:={{{\left\{ {\left. {i \in \mathcal{I}_{({\rho,\Gamma})}} \middle| {\rho(i)} \right. = {⫬ \left( {t,v_{i}} \right)}} \right\}.{return}}\mspace{14mu}{msg}^{\prime}}:={c_{d + 1}/{\left( {\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} \right).}}}}} & \; \end{matrix}$

Likewise, the CP-FE scheme indicated in Formulas 145 to 148 can be altered to the attribute-based encryption scheme.

In the above explanation, n₀+u₀+w₀+z₀ is set in N₀ and n_(t)+u_(t)+w_(t)+z_(t) is set in N_(t). It for example, u₀=n₀, w₀=n₀, and z₀=2, then n₀+n₀+n₀+2=3n₀+2 may be set in N₀. If u_(t)=n_(t), w_(t)=n_(t), and z_(t)=1, then n_(t)+n_(t)+n_(t)+1=3n_(t)+1 may be set in N_(t).

Embodiment 3.

Embodiment 3 will exemplify a functional encryption scheme in which, as compared to the functional encryption scheme described in Embodiment 2, the number of bases increases but the dimension number of each basis decreases.

Explanation will be given in Embodiment 3 mainly on portions that are different from the cryptographic system 10 according to Embodiment 2.

The configurations of a key generation device 100, an encryption device 200, and a decryption device 300 according to Embodiment 3 are respectively the same as the configurations of the key generation device 100, the encryption device 200, and the decryption device 300 according to Embodiment 2 shown in FIGS. 5 and 7.

The process of a Dec algorithm according to Embodiment 3 is the same as the process of the Dec algorithm according to Embodiment 2. Hence, the processes of a Setup algorithm, KeyGen algorithm, and Enc algorithm according to Embodiment 3 will be described.

The process flows of the Setup algorithm, KeyGen algorithm, and Enc algorithm according to Embodiment 3 are the same as the process flows of the Setup algorithm, KeyGen algorithm, and Enc algorithm according to Embodiment 2 shown in FIGS. 8 to 10.

The process of the Setup algorithm will be described with reference to FIG. 8.

(S101: Orthogonal Basis Generation Step)

The processes of (1) to (3) are the same as those in Embodiment 2.

(4) A master key generation part 110 sets n₀+u₀+w₀+z₀ in N₀, and sets n_(t)+u_(t)+w_(t)+z_(t) in N_(t) concerning each integer t of t=1, . . . , d (d is an integer of 1 or more). Note that n₀ is 1 and n_(t) is n where: n is an integer of 1 or more and u₀, w₀, z₀, u_(t), w_(t), and z_(t) are each an integer of 0 or more.

Subsequently, the master key generation part 110 executes processes (5) to (9) concerning integers τ, κ, ι, and t of τ=1 . . . , m, κ=0, . . . , f_(τ), t=0, 1, and t=0, . . . , d.

The process of (5) is the same as that in Embodiment 2.

(6) The master key generation part 110 generates linear transformation X_(t) ^((τ,κ,ι)):=(χ_(t,i,j) ^((τ,κ,ι)) _(i,j) randomly, in the same manner as in Embodiment 2.

(7) The master key generation part 110 generates X*_(t) ^((τ,κ,ι)):=(ν_(t,i,j) ^((τ,κ,ι)))_(i,j):=ψ(X_(t) ^((τ,κ,ι)T))⁻¹, in the same manner as in Embodiment 2.

(8) Based on the linear transformation X_(t) ^((τ,κ,ι)) generated in (6), the master key generation part 110 generates a basis B_(t) ^((τ,κ,ι)) from a canonical basis A_(t) generated in (5), in the same manner as in Embodiment 2.

(9) Based on the linear transformation X*_(t) ^((τ,κ,ι)) generated in (7), the master key generation part 110 generates a basis B*_(t) ^((τ,κ,ι)) from the canonical basis A_(t) generated in (5), in the same manner as in Embodiment 2.

The process of (10) is the same as that in Embodiment 2.

(S102: Public Parameter Generation Step)

With the processing device, the master key generation part 110 generates subbases B^₀ ^((τ,κ,ι)) and B^_(t) ^((τ,κ,ι)) of the bases B₀ ^((τ,κ,ι)) and B_(t) ^((τ,κ,ι)), respectively, which are generated in (S101), as indicated in Formula 154.

₀ ^((τ,κ,ι)) :=b _(0,1) ^((τ,κ,ι)) ,b _(0,n) ₀ _(+u) ₀ _(+w) ₀ ₊₁ ^((τ,κ,ι)) , . . . ,b _(0,n) ₀ _(+u) ₀ _(+w) ₀ _(+z) ₀ ^((τ,κ,ι))),

_(t) ^((τ,κ,ι)):=(b _(t,1) ^((τ,κ,ι)) , . . . ,b _(t,n) ^((τ,κ,ι)) ,b _(t,n) _(t) _(+u) _(t) _(+w) _(t) ₊₁ ^((τ,κ,ι)) , . . . ,b _(t,n) _(t) _(+u) _(t) _(+w) _(t) _(+z) _(t) ^((τ,κ,ι)))  [Formula 154]

-   -   for t=1, . . . , d

The master key generation part 110 treats the generated subbases B^₀ ^((τ,κ,ι)) and B^_(t) ^((τ,κ,ι)), the security parameter λ inputted in (S101), and param generated in (S101), to form public parameters pk.

(S103: Master Key Generation Step)

With the processing device, the master key generation part 110 generates subbases B^*₀ ^((τ,κ,ι)) and B^*_(t) ^((τ,κ,ι)) of the bases B*₀ ^((τ,κ,ι)) and B*_(t) ^((τ,κ,ι)), respectively, which are generated in (S101), as indicated in Formula 155.

*₀ ^((τ,κ,ι)):=(b* _(0,1) ^((τ,κ,ι)) , . . . ,b* _(0,n) ₀ ^((τ,κ,ι)) ,b* _(0,n) ₀ _(+u) ₀ ₊₁ ^((τ,κ,ι)) , . . . ,b* _(0,n) ₀ _(+u) ₀ _(+w) ₀ ^((τ,κ,ι)) ,b* _(0,n) ₀ _(+u) ₀ _(+w) ₀ _(+z) ₀ ^((τ,κ,ι))),

*_(t) ^((τ,κ,ι)):=(b* _(t,1) ^((τ,κ,ι)) , . . . ,b* _(t,n) _(t) ^((τ,κ,ι)) ,b* _(t,n) _(t) _(+u) _(t) ₊₁ ^((τ,κ,ι)) , . . . ,b* _(t,n) _(t) _(+u) _(t) _(+w) _(t) ^((τ,κ,ι)))  [Formula 155]

-   -   for t=1, . . . , d

The master key generation part 110 treats the generated subbases B^*₀ ^((τ,κ,ι)) and B^*_(t) ^((τ,κ,ι)), to form the master key sk.

The process of (S104) is the same as that in Embodiment 2.

In brief, from (S101) through (S103), the key generation device 100 generates the public parameters pk and the master key sk by executing the Setup algorithm indicated in Formula 156. Then, in (S104), the key generation device 100 stores the generated public parameters pk and master key sk, in the storage device.

$\begin{matrix} {\mspace{79mu}{{{{Setup}\left( 1^{\lambda} \right)}\text{:}}{{\left( {{param},\left( {{??}_{t}^{({\tau,\kappa,\iota})},{??}_{t}^{*{({\tau,\kappa,\iota})}}} \right)_{{t = 0},\ldots\mspace{14mu},{d;{\tau = 1}},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},{f_{\tau};{\iota = 0}},1}} \right)\overset{R}{\longleftarrow}{{??}_{ob}\left( 1^{\lambda} \right)}},\mspace{20mu}{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},{{m\mspace{14mu}\kappa} = 0},\ldots\mspace{14mu},f_{\tau},\mspace{14mu}{\iota = 0},1,{{\hat{??}}_{0}^{({\tau,\kappa,\iota})}:=\left( {b_{0,1}^{({\tau,\kappa,\iota})},b_{0,{n_{0} + u_{0} + w_{0} + 1}}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},b_{0,{n_{0} + u_{0} + w_{0} + z_{0}}}^{({\tau,\kappa,\iota})}} \right)},{{\hat{??}}_{t}^{({\tau,\kappa,\iota})}:=\left( {b_{t,1}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},b_{t,n}^{({\tau,\kappa,\iota})},b_{t,{n_{t} + u_{t} + w_{t} + 1}}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},b_{t,{n_{t} + u_{t} + w_{t} + z_{t}}}^{({\tau,\kappa,\iota})}} \right)}}\mspace{20mu}{{{{for}\mspace{14mu} t} = 1},\ldots\mspace{14mu},d,{{\hat{??}}_{0}^{*{({\tau,\kappa,\iota})}}:=\left( {b_{0,1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},b_{0,n_{0}}^{*{({\tau,\kappa,\iota})}},b_{0,{n_{0} + u_{0} + 1}}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},b_{0,{n_{0} + u_{0} + w_{0}}}^{*{({\tau,\kappa,\iota})}},b_{0,{n_{0} + u_{0} + w_{0} + z_{0}}}^{*{({\tau,\kappa,\iota})}}} \right)},{{\hat{??}}_{t}^{*{({\tau,\kappa,\iota})}}:=\left( {b_{t,1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},b_{t,n_{t}}^{*{({\tau,\kappa,\iota})}},b_{t,{n_{t} + u_{t} + 1}}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},b_{t,{n_{t} + u_{t} + w_{t}}}^{*{({\tau,\kappa,\iota})}}} \right)}}\mspace{20mu}{{{{for}\mspace{14mu} t} = 1},\ldots\mspace{14mu},d,\mspace{20mu}{{{return}\mspace{14mu}{pk}}:=\left( {1^{\lambda},\left\{ {\hat{??}}_{t} \right\}_{{t = 0},\ldots\mspace{14mu},d},{param}} \right)},\mspace{20mu}{{sk}:={\left\{ {\hat{??}}_{t}^{*} \right\}_{{t = 0},\ldots\mspace{14mu},d}.}}}}} & \left\lbrack {{Formula}\mspace{14mu} 156} \right\rbrack \end{matrix}$

The process of the KeyGen algorithm will be described with reference to FIG. 9.

The processes of (S201) through (S204) and of (S206) are the same as those in Embodiment 2.

(S205: Key Element Generation Step)

With the processing device, concerning each integer τ of τ=1 . . . , m, each integer κ of κ=0, . . . , f_(τ), and each integer ι of ι=0, 1, a key element generation part 142 generates an element k*₀ ^((τ,κ,ι)) of a decryption key sk_(s), as indicated in Formula 157.

$\begin{matrix} {\mspace{79mu}{{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{k_{0}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{0}^{({\tau,\kappa,\iota})} + \pi_{\tau,\kappa,\iota}},\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})}},\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0,\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*{({\tau,\kappa,\iota})}}}}}} & \left\lbrack {{Formula}\mspace{14mu} 157} \right\rbrack \end{matrix}$

With the processing device, concerning each integer τ of τ=1 . . . , m, each integer κ of κ=0, . . . , f_(τ), each integer ι of ι=0, 1, and each integer i of i=1, . . . , L, the key element generation part 142 generates an element k*_(i) ^((τ,κ,ι)) of the decryption key sk_(s), as indicated in Formula 158.

$\begin{matrix} {{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},\mspace{14mu}{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}},\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*{({\tau,\kappa,\iota})}}}},{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},\mspace{14mu}{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{v}}_{i}},\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*{({\tau,\kappa,\iota})}}}},{{{if}\mspace{14mu}{\rho(i)}} = p_{0}},\mspace{14mu}{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{i}^{({\tau,\kappa,\iota})}},\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0},\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}},\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{0}^{*{({\tau,\kappa,\iota})}}}}} & \left\lbrack {{Formula}\mspace{14mu} 158} \right\rbrack \end{matrix}$

In brief, from (S201) through (S205), the key generation device 100 generates the decryption key sk_(s) by executing the KeyGen algorithm indicated in Formulas 159 to 160. Then, in (S206), the key generation device 100 distributes the generated decryption key sk_(s) to the decryption device 300.

$\begin{matrix} {{{{KeyGen}\left( {{pk},{sk},{{??}:=\left( {{??},\mathcal{B},{{d(x)} = {\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{f_{\tau}}}},\rho} \right)}} \right)}\text{:}}\mspace{20mu}{{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\pi_{\tau}}}},\mspace{79mu}{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},}} & \left\lbrack {{Formula}\mspace{14mu} 159} \right\rbrack \\ {{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\chi_{\tau}}}},\mspace{79mu}{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{20mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{20mu},f_{\tau},{\iota = 0},1,\mspace{20mu}{\mu^{({\tau,\kappa,0})}:={\deg\left( {d_{\tau}(x)}^{\kappa} \right)}},{\mu^{({\tau,\kappa,1})}:={\deg\left( {d_{\tau}(x)}^{f_{\tau} - \kappa} \right)}},\mspace{79mu}\left( {{\kappa = 0},\ldots\mspace{14mu},f_{\tau}} \right),{{a_{i,0}^{({\tau,\kappa})} + {a_{i,1}^{({\tau,\kappa})}x} + \ldots + {a_{i,{\mu^{({\tau,\kappa,0})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,0})} - 1}}}:={{a_{i}(x)}{mod}\;{d_{\tau}(x)}^{\kappa}}},} & \; \\ {{{b_{i,0}^{({\tau,k})} + {b_{i,1}^{({\tau,\kappa})}x} + \ldots + {b_{i,{\mu^{({\tau,\kappa,1})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,1})} - 1}}}:={{b_{i}(x)}{mod}\;{d_{\tau}(x)}^{f_{\tau} - \kappa}}},\mspace{20mu}{\delta_{j}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}},\left( {{j = 0},\ldots\mspace{14mu},{\mu^{({\tau,\kappa,\iota})} - 1}} \right),\mspace{20mu}{{{\overset{\rightarrow}{\eta}}_{0}}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},\mspace{20mu}{s_{0}^{({\tau,\kappa,0})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{0,j}^{({\tau,\kappa})}}}},\mspace{20mu}{s_{0}^{({\tau,\kappa,1})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{0,j}^{({\tau,\kappa})}}}},} & \; \\ {{k_{0}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{s_{0}^{({\tau,\kappa,\iota})} + \pi_{\tau,\kappa,\iota}},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0,\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*{({\tau,\kappa,\iota})}}}},\mspace{20mu}{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,} & \left\lbrack {{Formula}\mspace{14mu} 160} \right\rbrack \\ {{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},\mspace{20mu}{\xi_{i,\tau,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{20mu},{L;{\iota = 0}},1} \right)}}}},\mspace{20mu}{s_{i}^{({\tau,\kappa,0})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{i,j}^{({\tau,k})}}} + \xi_{i,\tau,0}}},\mspace{20mu}{s_{i}^{({\tau,\kappa,1})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{i,j}^{({\tau,k})}}} + \xi_{i,\tau,1}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},} & \; \\ {{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*{({\tau,\kappa,\iota})}}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},\mspace{20mu}{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{v}}_{i}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*{({\tau,\kappa,\iota})}}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = p_{0}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},\mspace{20mu}{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{0}^{*{({\tau,\kappa,\iota})}}}},} & \; \\ {{{return}\mspace{14mu}{sk}_{??}}:={\left( {{??},\left\{ {k_{0}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;\ldots\mspace{11mu},{f_{\tau};{\iota = 0}},1}} \right).}} & \; \end{matrix}$

The process of the Enc algorithm will be described with reference to FIG. 10.

The processes of (S301) through (S302) and of (S304) are the same as those in Embodiment 2.

(S303: Cipher Element Generation Step)

With the processing device, an encrypted data generation part 230 generates an element c₀ ^((τ,κ,ι)) of a ciphertext ct_(Γ), as indicated in Formula 161.

$\begin{matrix} {\mspace{85mu}{\omega,{\zeta\overset{U}{\longleftarrow}{??}_{q}},\mspace{85mu}{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}},\;{c_{0}^{({\tau,\kappa,\iota})}:={\begin{pmatrix} \overset{\overset{n_{0}}{︷}}{\omega,} & \overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,} & \overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,} & \overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},\zeta} \end{pmatrix}{??}_{0}^{({\tau,\kappa,\iota})}}}}} & \left\lbrack {{Formula}\mspace{14mu} 161} \right\rbrack \end{matrix}$

With the processing device, concerning each integer t included in attribute information Γ, the encrypted data generation part 230 generates an element c_(t) ^((τ,κ,ι)) of the ciphertext ct_(Γ), as indicated in Formula 162.

$\begin{matrix} {\mspace{79mu}{{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{c_{t}^{({\tau,\kappa,\iota})}:={\begin{pmatrix} \overset{\overset{n_{t}}{︷}}{{\omega\;{\overset{\rightarrow}{x}}_{t}},} & \overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,} & \overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,} & \overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t}} \end{pmatrix}{??}_{t}^{({\tau,\kappa,\iota})}}}}} & \left\lbrack {{Formula}\mspace{14mu} 162} \right\rbrack \end{matrix}$

With the processing device, the encrypted data generation part 230 generates an element c_(d+1) of the ciphertext ct_(Γ), as indicated in Formula 163. c_(d+1):=g_(T) ^(ζ)msg  [Formula 163]

In brief, from (S301) through (S303), the encryption device 200 generates the ciphertext ct_(Γ) by executing the Enc algorithm indicated in Formula 164. Then, in (S304), the encryption device 200 transmits the generated ciphertext ct_(Γ) to the decryption device 300.

$\begin{matrix} {{{{Enc}\left( {{pk},{msg},{\Gamma:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \middle| {1 \leq t \leq d} \right\}}} \right)}\text{:}}{\omega,{\zeta\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}},{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{c_{0}^{({t,\kappa,\iota})}:={\left( {\overset{\overset{n_{0}}{︷}}{\omega,}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},\zeta}} \right){??}_{0}^{({\tau,\kappa,\iota})}}},{c_{t}^{({t,\kappa,\iota})}:={\left( {\overset{\overset{n_{t}}{︷}}{{\omega\;{\overset{\rightarrow}{x}}_{t}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t}}} \right){??}_{t}^{({\tau,\kappa,\iota})}}},{{{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{c_{d + 1}:={g_{T}^{\zeta}{msg}}},{{{return}\mspace{14mu}{ct}_{\Gamma}}:={\left( {\Gamma,c_{0},\left\{ c_{t} \right\}_{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma},c_{d + 1}} \right).}}}} & \left\lbrack {{Formula}\mspace{14mu} 164} \right\rbrack \end{matrix}$

As described above, the encryption system 10 according to Embodiment 3 implements a functional encryption scheme in which, as compared to the functional encryption scheme described in Embodiment 2, the number of bases increases but the dimension number of each basis decreases.

The KP-FE scheme has been described above. If the KeyGen algorithm and Enc algorithm are modified as indicated in Formulas 165 to 167, the CP-FE scheme may be realized. Note that the Setup algorithm is the same between the KP-FE scheme and the CP-FE scheme. The Dec algorithm is the same as the Dec algorithm indicated in Formula 148.

$\begin{matrix} {\mspace{79mu}{{{{KeyGen}\left( {{pk},{sk},{\Gamma:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \middle| {1 \leq t \leq d} \right\}}} \right)}\text{:}}\mspace{20mu}{{\omega\overset{U}{\longleftarrow}{??}_{q}},\mspace{20mu}{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},\mspace{20mu}{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{k_{0}^{*{({t,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{\omega,}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},}\mspace{14mu}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0,1}} \right){??}_{0}^{*{({\tau,\kappa,\iota})}}}},\mspace{20mu}{k_{t}^{*{({t,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{\omega\;{\overset{\rightarrow}{x}}_{t}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t},}\mspace{14mu}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*{({\tau,\kappa,\iota})}}}},\mspace{20mu}{{{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},\mspace{20mu}{{{return}\mspace{14mu}{sk}_{\Gamma}}:={\left( {\Gamma,k_{0}^{*},\left\{ k_{t}^{*} \right\}_{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma}} \right).}}}}} & \left\lbrack {{Formula}\mspace{14mu} 165} \right\rbrack \\ {{{{Enc}\left( {{pk},{msg},{{??}:=\left( {{??},\mathcal{B},{{d(x)} = {\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{f_{\tau}}}},\rho} \right)}} \right)}\text{:}}\mspace{20mu}{{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\pi_{\tau}}}},\mspace{79mu}{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},}} & \left\lbrack {{Formula}\mspace{14mu} 166} \right\rbrack \\ {{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\chi_{\tau}}}},\mspace{79mu}{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{20mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{20mu},f_{\tau},{\iota = 0},1,\mspace{20mu}{\mu^{({\tau,\kappa,0})}:={\deg\left( {d_{\tau}(x)}^{\kappa} \right)}},{\mu^{({\tau,\kappa,1})}:={\deg\left( {d_{\tau}(x)}^{f_{\tau} - \kappa} \right)}},\mspace{20mu}\left( {{\kappa = 0},\ldots\mspace{14mu},f_{\tau}} \right),{{a_{i,0}^{({\tau,\kappa})} + {a_{i,1}^{({\tau,\kappa})}x} + \ldots + {a_{i,{\mu^{({\tau,\kappa,0})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,0})} - 1}}}:={{a_{i}(x)}{mod}\;{d_{\tau}(x)}^{\kappa}}},} & \; \\ {{{b_{i,0}^{({\tau,k})} + {b_{i,1}^{({\tau,\kappa})}x} + \ldots + {b_{i,{\mu^{({\tau,\kappa,1})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,1})} - 1}}}:={{b_{i}(x)}{mod}\;{d_{\tau}(x)}^{f_{\tau} - \kappa}}},\mspace{20mu}{\delta_{j}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}},\left( {{j = 0},\ldots\mspace{14mu},{\mu^{({\tau,\kappa,\iota})} - 1}} \right),\mspace{20mu}{{{\overset{\rightarrow}{\eta}}_{0}}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}},\mspace{20mu}{s_{0}^{({\tau,\kappa,0})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{0,j}^{({\tau,\kappa})}}}},\mspace{20mu}{s_{0}^{({\tau,\kappa,1})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{0,j}^{({\tau,\kappa})}}}},} & \; \\ {{c_{0}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{0}}{︷}}{{s_{0}^{({\tau,\kappa,\iota})} + \pi_{\tau,\kappa,\iota}},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})},{\zeta\chi}_{\tau,\kappa,\iota}}} \right){??}_{0}^{({\tau,\kappa,\iota})}}},\mspace{20mu}{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,} & \left\lbrack {{Formula}\mspace{14mu} 167} \right\rbrack \\ {{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},\mspace{20mu}{\xi_{i,\tau,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{20mu},{L;{\iota = 0}},1} \right)}}}},\mspace{20mu}{s_{i}^{({\tau,\kappa,0})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{i,j}^{({\tau,k})}}} + \xi_{i,\tau,0}}},\mspace{20mu}{s_{i}^{({\tau,\kappa,1})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{i,j}^{({\tau,k})}}} + \xi_{i,\tau,1}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}},} & \; \\ {{c_{i}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{t}}{︷}}{{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}}} \right){??}_{t}^{({\tau,\kappa,\iota})}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}},\mspace{20mu}{c_{i}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})}{\overset{\rightarrow}{v}}_{i}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}}} \right){??}_{t}^{({\tau,\kappa,\iota})}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = p_{0}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{z_{0}}},\mspace{20mu}{c_{i}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}}} \right){??}_{0}^{({\tau,\kappa,\iota})}}},\mspace{20mu}{c_{d + 1}:={g_{T}^{\zeta}{msg}}},} & \; \\ {{{return}\mspace{14mu}{ct}_{??}}:={\left( {{??},\left\{ {c_{0}^{({\tau,\kappa,\iota})},c_{1}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},c_{L}^{({\tau,\kappa,\iota})}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;\ldots\mspace{11mu},{f_{\tau};{\iota = 0}},1},c_{{d + 1}\;}} \right).}} & \; \end{matrix}$

The functional encryption scheme has been described above. If the Setup algorithm, KeyGen algorithm, and Enc algorithm are modified as indicated in Formulas 168 to 171, an attribute-based encryption scheme may be realized. With the attribute-based encryption scheme, in the Setup algorithm, n_(t) is 2. The Dec algorithm is the same as the Dec algorithm indicated in Formula 153.

$\begin{matrix} {\mspace{79mu}{{{{{Setup}\left( 1^{\lambda} \right)}:{\left( {{param},\left( {{??}_{t}^{({\tau,\kappa,\iota})},{??}_{t}^{*{({\tau,\kappa,\iota})}}} \right)_{{t = 0},\;\ldots\mspace{11mu},{d;{t = 1}},\;\ldots\;,{m;{\kappa = 0}},\;{{\ldots\mspace{11mu} f_{\tau}};{\iota = 0.1}}}} \right)\overset{R}{\longleftarrow}{{??}_{ob}\left( 1^{\lambda} \right)}}},\mspace{20mu}{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{14mu},f_{\tau},{\iota = 0},1,{{\hat{??}}_{0}^{({\tau,\kappa,\iota})}:=\left( {b_{0,1}^{({\tau,\kappa,\iota})},b_{0,{n_{0} + u_{0} + w_{0} + 1}}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},b_{0,{n_{0} + u_{0} + w_{0} + z_{0}}}^{({\tau,\kappa,\iota})}} \right)},{{\hat{??}}_{t}^{({\tau,\kappa,\iota})}:=\left( {b_{t,1}^{({\tau,\kappa,\iota})},b_{t,2}^{({\tau,\kappa,\iota})},b_{t,{n_{t} + u_{t} + w_{t} + 1}}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},b_{t,{n_{t} + u_{t} + w_{t} + z_{t}}}^{({\tau,\kappa,\iota})}} \right)}}\mspace{20mu}{{{{for}\mspace{14mu} t} = 1},\ldots\mspace{14mu},d,{{\hat{??}}_{0}^{*{({\tau,\kappa,\iota})}}:=\left( {b_{0,1}^{*{({\tau,\kappa,\iota})}},b_{0,{1 + u_{0} + 1}}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},b_{0,{1 + u_{0} + w_{0}}}^{*{({\tau,\kappa,\iota})}},b_{0,{1 + u_{0} + w_{0} + z_{0}}}^{*{({\tau,\kappa,\iota})}}} \right)},{{\hat{??}}_{t}^{*{({\tau,\kappa,\iota})}}:=\left( {b_{t,1}^{*{({\tau,\kappa,\iota})}},b_{t,2}^{*{({\tau,\kappa,\iota})}},b_{t,{2 + u_{t} + 1}}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},b_{t,{2 + u_{t} + w_{t}}}^{*{({\tau,\kappa,\iota})}}} \right)}}\mspace{20mu}{{{{for}\mspace{14mu} t} = 1},\ldots\mspace{20mu},d,\mspace{20mu}{{{return}\mspace{14mu}{pk}}:=\left( {1^{\lambda},\left\{ {\hat{??}}_{t} \right\}_{{t = 0},\;\ldots\mspace{11mu},d},{param}} \right)},\mspace{20mu}{{sk}:={\left\{ {\hat{??}}_{t}^{*} \right\}_{{t = 0},\;\ldots\mspace{11mu},d}.}}}}} & \left\lbrack {{Formula}\mspace{14mu} 168} \right\rbrack \\ {{{{KeyGen}\left( {{pk},{msg},{{??}:=\left( {{??},\mathcal{B},{{d(x)} = {\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{f_{\tau}}}},\rho} \right)}} \right)}\text{:}}\mspace{20mu}{{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\pi_{\tau}}}},\mspace{79mu}{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\chi_{\tau}}}},\mspace{79mu}{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{20mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{20mu},f_{\tau},{\iota = 0},1,\mspace{20mu}{\mu^{({\tau,\kappa,0})}:={\deg\left( {d_{\tau}(x)}^{\kappa} \right)}},{\mu^{({\tau,\kappa,1})}:={\deg\left( {d_{\tau}(x)}^{f_{\tau} - \kappa} \right)}},\mspace{20mu}\left( {{\kappa = 0},\ldots\mspace{14mu},f_{\tau}} \right),{{a_{i,0}^{({\tau,\kappa})} + {a_{i,1}^{({\tau,\kappa})}x} + \ldots + {a_{i,{\mu^{({\tau,\kappa,0})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,0})} - 1}}}:={{a_{i}(x)}{mod}\;{d_{\tau}(x)}^{\kappa}}},}} & \left\lbrack {{Formula}\mspace{14mu} 169} \right\rbrack \\ {{{b_{i,0}^{({\tau,k})} + {b_{i,1}^{({\tau,\kappa})}x} + \ldots + {b_{i,{\mu^{({\tau,\kappa,1})} - 1}}^{({\tau,\kappa})}x^{\mu^{({\tau,\kappa,1})} - 1}}}:={{b_{i}(x)}{mod}\;{d_{\tau}(x)}^{f_{\tau} - \kappa}}},\mspace{20mu}{\delta_{j}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}},\left( {{j = 0},\ldots\mspace{14mu},{\mu^{({\tau,\kappa,\iota})} - 1}} \right),\mspace{20mu}{{{\overset{\rightarrow}{\eta}}_{0}}^{({\tau,\kappa,\iota})}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},\mspace{20mu}{s_{0}^{({\tau,\kappa,0})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{0,j}^{({\tau,\kappa})}}}},\mspace{20mu}{s_{0}^{({\tau,\kappa,1})}:={\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{0,j}^{({\tau,\kappa})}}}},} & \; \\ {{k_{0}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{s_{0}^{({\tau,\kappa,\iota})} + \pi_{\tau,\kappa,\iota}},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0}^{({\tau,\kappa,\iota})},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0,\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*{({\tau,\kappa,\iota})}}}},\mspace{20mu}{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,} & \left\lbrack {{Formula}\mspace{14mu} 170} \right\rbrack \\ {{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},\mspace{20mu}{\xi_{i,\tau,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{20mu},{L;{\iota = 0}},1} \right)}}}},\mspace{20mu}{s_{i}^{({\tau,\kappa,0})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,0})} - 1}{\delta_{j}^{({\tau,\kappa,0})} \cdot a_{i,j}^{({\tau,k})}}} + \xi_{i,\tau,0}}},\mspace{20mu}{s_{i}^{({\tau,\kappa,1})}:={{\sum\limits_{j = 0}^{\mu^{({\tau,\kappa,1})} - 1}{\delta_{j}^{({\tau,\kappa,1})} \cdot b_{i,j}^{({\tau,k})}}} + \xi_{i,\tau,1}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,v_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{s_{i}^{({\tau,\kappa,\iota})} + {\theta_{i}v_{i}}},{- \theta_{i}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*{({\tau,\kappa,\iota})}}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,v_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},} & \; \\ {{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{{s_{i}^{({\tau,\kappa,\iota})}v_{i}} - s_{i}^{({\tau,\kappa,\iota})}},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*{({\tau,\kappa,\iota})}}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = p_{0}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},\mspace{20mu}{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{s_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{0}^{*{({\tau,\kappa,\iota})}}}},{{{return}\mspace{14mu}{sk}_{??}}:={\left( {{??},\left\{ {k_{0}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;\ldots\mspace{11mu},{f_{\tau};{\iota = 0}},1}} \right).}}} & \; \\ {\mspace{79mu}{{{{Enc}\left( {{pk},{msg},{\Gamma:=\left\{ \left( {t,x_{t}} \right) \middle| {1 \leq t \leq d} \right\}}} \right)}\text{:}}\mspace{20mu}{\omega,{\zeta\overset{U}{\longleftarrow}{??}_{q}},\mspace{20mu}{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}},\mspace{20mu}{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,x_{t}} \right)} \in \Gamma},{c_{0}^{({t,\kappa,\iota})}:={\left( {\overset{\overset{n_{0}}{︷}}{\omega,0,\ldots\mspace{14mu},0,}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},\zeta}} \right){??}_{0}^{({\tau,\kappa,\iota})}}},}}} & \left\lbrack {{Formula}\mspace{14mu} 171} \right\rbrack \\ {{c_{t}^{({t,\kappa,\iota})}:={\left( {\overset{\overset{n_{t}}{︷}}{{\omega\left( {1,\; x_{t}} \right)},0,\ldots\mspace{14mu},0}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t}}} \right){??}_{t}^{({\tau,\kappa,\iota})}}},\mspace{20mu}{{{for}\mspace{14mu}\left( {t,x_{t}} \right)} \in \Gamma},\mspace{20mu}{c_{d + 1}:={g_{T}^{\zeta}{msg}}},\mspace{20mu}{{{return}\mspace{14mu}{ct}_{\Gamma}}:={\left( {\Gamma,c_{0},\left\{ c_{t} \right\}_{{({t,x_{t}})} \in \Gamma},c_{d + 1}} \right).}}} & \; \end{matrix}$

Likewise, the CP-FE scheme indicated in Formulas 165 to 167 can be altered to the attribute-based encryption scheme.

In the above explanation, n₀+u₀+w₀+z₀ is set in N₀ and n_(t)+u_(t)+w_(t)+z_(t) is set in N_(t). If, for example, u₀=n₀, w₀=n₀, and z₀=2, then n₀+n₀+n₀+2=3n₀+2 (n₀=1 and accordingly N₀=5) may be set in N₀. If u_(t)=n_(t), w_(t)=n_(t), and z_(t)=1, then n_(t)+n_(t)+n_(t)+1=3n_(t)+1 may be set in N_(t).

Embodiment 4.

In Embodiments 2 and 3, for each polynomial d_(τ)(x)^(fτ) obtained by factorizing the target polynomial d(x), an element which is a remainder of dividing a polynomial a_(i)(x) by a polynomial d_(τ)(x)^(κ) and an element which is a remainder of dividing a polynomial b_(i)(x) by a polynomial d_(τ)(x)^(fτ-κ) are treated as key elements.

In Embodiment 4, for each polynomial d_(τ)(x)^(fτ) obtained by factorizing the target polynomial d(x), an element obtained by substituting a random value γ into a polynomial d_(τ)(x)^(κ) and an element obtained by substituting the random value γ into a polynomial d_(τ)(x)^(fτ-κ) are treated as key elements.

The configurations of a key generation device 100, an encryption device 200, and a decryption device 300 according to Embodiment 4 are respectively the same as the configurations of the key generation device 100, the encryption device 200, and the decryption device 300 according to Embodiment 2 shown in FIGS. 5 and 7.

The processes of a Setup algorithm and Enc algorithm according to Embodiment 4 are the same as the processes of the Setup algorithm and Enc algorithm according to Embodiment 2.

The process flow of the Dec algorithm according to Embodiment 4 is the same as the process flow of the Dec algorithm according to Embodiment 2 shown in FIG. 11.

FIG. 12 is a flowchart showing the process of the KeyGen algorithm according to Embodiment 4.

The process of the KeyGen algorithm will be described with reference to FIG. 12.

The processes of (S501) through (S503) are the same as the processes of (S201) to (S203) shown in FIG. 9, and the process of (S505) is the same as the process of (S206) shown in FIG. 9.

(S504: Key Element Generation Step)

With the processing device, concerning each integer τ of τ=1 . . . , m, each integer κ of κ=0, f each integer ι of ι=0, 1, and each integer j of j=1, . . . , μ+1, a key element generation part 142 generates elements k*_(0,j) ^((τ,κ,ι)) and k*_(0,μ+1) ^((τ,κ,ι)) of a decryption key sk_(s), as indicated in Formula 172.

$\begin{matrix} {\mspace{79mu}{{\gamma\overset{U}{\longleftarrow}{??}_{q}},{\overset{\rightarrow}{\eta}}_{0,0},\ldots\mspace{20mu},{{\overset{\rightarrow}{\eta}}_{0,{\mu + 1}}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},{k_{0,j}^{*{({\tau,\kappa,0})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{\gamma^{j} \cdot {d_{\tau}(\gamma)}^{\kappa}},{\overset{\rightarrow}{\mathbb{e}}}_{0,j}^{({\tau,\kappa,0})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{11mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,j},}\overset{\overset{z_{0}}{︷}}{0,{\ldots\mspace{14mu} 0}}} \right){??}_{0}^{*}}},{k_{0,j}^{*{({\tau,\kappa,1})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{\gamma^{j} \cdot {d_{\tau}(\gamma)}^{f_{\tau} - \kappa}},{\overset{\rightarrow}{\mathbb{e}}}_{0,j}^{({\tau,\kappa,1})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{11mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,j},}\overset{\overset{z_{0}}{︷}}{0,{\ldots\mspace{14mu} 0}}} \right){??}_{0}^{*}}},\mspace{20mu}{s_{0}:={{{- {a_{0}(\gamma)}}\mspace{14mu}{if}\mspace{14mu}\iota} = 0}},{s_{0}:={{{- {b_{0}(\gamma)}}\mspace{14mu}{if}\mspace{14mu}\iota} = 1}},{k_{0,{\mu + 1}}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{s_{0} + \pi_{\tau,\kappa,\iota}},{\overset{\rightarrow}{\mathbb{e}}}_{0,{\mu + 1}}^{({\tau,\kappa,\iota})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{11mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,{\mu + 1}},}\overset{\overset{z_{0}}{︷}}{0,{\ldots\mspace{14mu} 0},\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*}}}}} & \left\lbrack {{Formula}\mspace{14mu} 172} \right\rbrack \end{matrix}$

With the processing device, concerning each integer τ of τ=1 . . . , m, each integer κ of κ=0, . . . , f_(τ), each integer ι of ι=0, 1, and each integer i of i=1, . . . , L, the key element generation part 142 generates an element k*_(i) ^((τ,κ,ι)) of the decryption key sk as indicated in Formula 173.

$\begin{matrix} {{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},\mspace{20mu}{\xi_{i,\tau,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{20mu},{L;{\iota = 0}},1} \right)}}}},\mspace{20mu}{s_{i}:={{{- {a_{i}(\gamma)}} + {\xi_{i,\tau,0}\mspace{14mu}{if}\mspace{14mu}\iota}} = 0}},\mspace{20mu}{s_{i}:={{{- {b_{i}(\gamma)}} + {\xi_{i,\tau,1}\mspace{14mu}{if}\mspace{14mu}\iota}} = 1}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{\delta\left( {{s_{i}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}} \right)},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},\mspace{79mu}{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{\delta\; s_{i}{\overset{\rightarrow}{v}}_{i}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*}}},} & \left\lbrack {{Formula}\mspace{14mu} 173} \right\rbrack \end{matrix}$

Note that e^(→) _(0,j) ^((τ,κ,ι)) (j=1, . . . , μ+1) is a 2mf_(max)-dimensional vector in which 1 is set as the coefficient for one basis vector and 0 is set as the coefficient for another basis vector, and the basis vector for which 1 is set as the coefficient is different for each (τ,κ,ι).

In brief, from (S501) through (S504), the key generation device 100 generates the decryption key sk_(s) by executing the KeyGen algorithm indicated in Formulas 174 to 175. Then, in (S505), the key generation device 100 distributes the generated decryption key sk_(s) to the decryption device 300.

$\begin{matrix} {{{{KeyGen}\left( {{pk},{sk},{{??}:=\left( {{??},\mathcal{B},{{d(x)} = {\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{f_{\tau}}}},\rho} \right)}} \right)}\text{:}}\mspace{20mu}{{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\pi_{\tau}}}},\mspace{79mu}{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},}} & \left\lbrack {{Formula}\mspace{14mu} 174} \right\rbrack \\ {{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\chi_{\tau}}}},\mspace{79mu}{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{20mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{20mu},f_{\tau},{\iota = 0},1,\mspace{20mu}{\gamma\overset{U}{\longleftarrow}{??}_{q}},{\overset{\rightarrow}{\eta}}_{0,0},\ldots\mspace{14mu},{{\overset{\rightarrow}{\eta}}_{0,{\mu + 1}}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},\mspace{20mu}{{{for}\mspace{14mu} j} = 0},\ldots\mspace{14mu},\mu,} & \; \\ {{k_{0,j}^{*{({\tau,\kappa,0})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{\gamma^{j} \cdot {d_{\tau}(\gamma)}^{\kappa}},{\overset{\rightarrow}{e}}_{0,j}^{({\tau,\kappa,0})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,j},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{0}^{*}}},{k_{0,j}^{*{({\tau,\kappa,1})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{\gamma^{j} \cdot {d_{\tau}(\gamma)}^{f_{\tau} - \kappa}},{\overset{\rightarrow}{e}}_{0,j}^{({\tau,\kappa,1})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,j},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{0}^{*}}},\mspace{20mu}{s_{0}:={{{- {a_{0}(\gamma)}}\mspace{14mu}{if}\mspace{14mu}\iota} = 0}},{s_{0}:={{{- {b_{0}(\gamma)}}\mspace{14mu}{if}\mspace{14mu}\iota} = 1}},{k_{0,{\mu + 1}}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{x_{0} + \pi_{\tau,\kappa,\iota}},{\overset{\rightarrow}{e}}_{0,{\mu + 1}}^{({\tau,\kappa,\iota})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,{\mu + 1}},}\overset{\overset{z_{0}}{︷}}{0,{\ldots\mspace{14mu} 0},\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*}}},} & \; \\ {{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},\mspace{20mu}{\xi_{i,m,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{20mu},{L;{\iota = 0}},1} \right)}}}},\mspace{20mu}{s_{i}:={{{- {a_{i}(\gamma)}} + {\xi_{i,\tau,0}\mspace{14mu}{if}\mspace{14mu}\iota}} = 0}},\mspace{20mu}{s_{i}:={{{- {b_{i}(\gamma)}} + {\xi_{i,\tau,1}\mspace{14mu}{if}\mspace{14mu}\iota}} = 1}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},} & \left\lbrack {{Formula}\mspace{14mu} 175} \right\rbrack \\ {{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{\delta\left( {{s_{i}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}} \right)},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},\mspace{79mu}{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{\delta\; s_{i}{\overset{\rightarrow}{v}}_{i}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*}}},{{{return}\mspace{14mu}{sk}_{??}}:=\left( {{??},{\left\{ {k_{0,0}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{0,{\mu + 1}}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},\left. \quad k_{L}^{*{({\tau,\kappa,\iota})}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;\ldots\mspace{11mu},{f_{\tau};{\iota = 0}},1}} \right).}} \right.}} & \; \end{matrix}$

The process of the Dec algorithm will be described with reference to FIG. 11.

The processes of (S401) through (S404) are the same as those in Embodiment 2.

(S405: Coefficient Calculation Step)

With the processing device, a coefficient calculation part 332 of a complementary coefficient calculation part 330 calculates coefficients (α₁, . . . , α_(L)), coefficients (β_(i), . . . , β_(L)), and a degree x with which Formula 176 is established. h _(τ,κ,0)(x)·d _(τ)(x)^(κ) =a ₀(x)+Σ_(i=1) ^(L)α_(i) a _(i)(x), and h _(τ,κ,1)(x)·d _(τ)(x)^(ƒ) ^(τ) ^(-κ) =b ₀(x)+Σ_(i=1) ^(L)β_(i) b _(i)(x)  [Formula 176]

Note that α_(i)=0=β_(i) concerning all i not included in I_((ρ,Γ)). Also, h_(τ,κ,ι)(x):=h_(τ,κ,ι,0)+h_(τ,κ,ι,1)x+ . . . h_(τ,κ,ι,μ)x^(μ) concerning all integers τ of τ=1, . . ., m and all integers ι of ι=0, 1.

(S406: Pairing Operation Step)

A pairing operation part 341 of a decryption part 340 generates session keys K_(τ,0) and K_(τ,1) by calculating Formula 177 with the processing device.

$\begin{matrix} {{{{K_{\tau,0}:={{e\left( {c_{0},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,0,j}k_{0,j}^{*{({\tau,\kappa,0})}}}}} \right)} \cdot {e\left( {c_{0},k_{0,{\mu + 1}}^{*{({\tau,\kappa,0})}}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,0})}}} \right)}{\alpha_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}}}},{K_{\tau,1}:={{e\left( {c_{0},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,1,j}k_{0,j}^{*{({\tau,\kappa,1})}}}}} \right)} \cdot {e\left( {c_{0},k_{0,{\mu + 1}}^{*{({\tau,\kappa,1})}}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,1})}}} \right)}{\beta_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}}}},\mspace{20mu}{{{where}\mspace{14mu} I_{\delta, +}}:={\left\{ {\left. {i \in I_{\delta}} \middle| {\rho(i)} \right. = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)} \right\}\mspace{14mu}{and}}}}\mspace{20mu}{I_{\delta, -}:=\left\{ {\left. {i \in I_{\delta}} \middle| {\rho(i)} \right. = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}} \right\}}}\mspace{14mu}} & \left\lbrack {{Formula}\mspace{14mu} 177} \right\rbrack \end{matrix}$

(S407: Message Calculation Step)

A message calculation part 342 generates a message msg′ (=msg) by calculating Formula 178 with the processing device.

$\begin{matrix} {{msg}^{\prime}:={c_{d + 1}/\left( {\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} \right)}} & \left\lbrack {{Formula}\mspace{14mu} 178} \right\rbrack \end{matrix}$

Note that by calculating Formula 177, g_(T) ^(ζ) can be obtained, as indicated in Formula 179. Hence, by calculating Formula 178, the message msg′ (=msg) m can be obtained.

$\begin{matrix} {{K_{\tau,0}:={{{e\left( {c_{0},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,0,j}k_{0,j}^{*{({\tau,\kappa,0})}}}}} \right)} \cdot {e\left( {c_{0},k_{0,{\mu + 1}}^{*{({\tau,\kappa,0})}}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,0})}}} \right)}^{\alpha_{i}} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,0})}}} \right)}{\alpha_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}} = {{g_{T}^{{\delta\omega}{({\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,0,j}{\gamma^{j} \cdot {d_{\tau}{(\gamma)}}^{\kappa}}}})}} \cdot g_{T}^{{{\delta\omega}{({{- {a_{0}{(\gamma)}}} + \pi_{\tau,\kappa,0}})}} + {\zeta\chi}_{\tau,\kappa,0}} \cdot g_{T}^{{\delta\omega}{\sum\limits_{i = 1}^{L}{({{{- \alpha_{i}}{\alpha_{i}{(\gamma)}}} + {\alpha_{i}\xi_{i,\tau,0}}})}}}} = {{g_{T}^{{\delta\omega}\;{{h_{\tau,\kappa,0}{(\gamma)}} \cdot {d_{\tau}{(\gamma)}}^{\kappa}}} \cdot g_{T}^{- {{\delta\omega}{({{a_{0}{(\gamma)}} + {\sum_{i = 1}^{L}{\alpha_{i}{\alpha_{i}{(\gamma)}}}}})}}} \cdot g_{T}^{{\delta\omega\pi}_{\tau,\kappa,0} + {\zeta\chi}_{\tau,\kappa,0} + {\sum_{i = 1}^{L}{\alpha_{i}\xi_{i,\tau,0}}}}} = g_{T}^{{\delta\omega\pi}_{\tau,\kappa,0} + {\zeta\chi}_{\tau,\kappa,0} + {\sum_{i = 1}^{L}{\alpha_{i}\xi_{i,\tau,0}}}}}}}}{K_{\tau,1} = {{g_{T}^{{\delta\omega\pi}_{\tau,\kappa,1} + {\zeta\chi}_{\tau,\kappa,1} + {\sum_{i = 1}^{L}{\beta_{i}\xi_{i,\tau,1}}}}{\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}}} = {g_{T}^{\sum\limits_{\tau = 1}^{m}{({{{\delta\omega}{({\pi_{\tau,\kappa,0} + \pi_{\tau,\kappa,1}})}} + {\zeta{({\chi_{\tau,\kappa,0} + \chi_{\tau,\kappa,1}})}} + {\sum\limits_{i = 1}^{L}{({{\alpha_{i}\xi_{i,\tau,0}} + {\beta_{i}\xi_{i,\tau,1}}})}}})}} = {g_{T}^{{\omega{\sum\limits_{\tau = 1}^{m}\pi_{\tau}}} + {\zeta{\sum\limits_{\tau = 1}^{m}\chi_{\tau}}} + {\omega{\sum\limits_{i = 1}^{L}{\alpha_{i}{({\sum\limits_{\tau = 1}^{m}\xi_{i,\tau,0}})}}}} + {\omega{\sum\limits_{i = 1}^{L}{\beta_{i}{({\sum\limits_{\tau = 1}^{m}\xi_{i,\tau,1}})}}}}} = g_{T}^{\zeta}}}}}} & \left\lbrack {{Formula}\mspace{14mu} 179} \right\rbrack \end{matrix}$

In brief, from (S401) through (S407), the decryption device 300 generates the message msg′ (=msg) by executing the Dec algorithm indicated in Formula 180.

$\begin{matrix} {{Dec}\left( {{pk},{{sk}_{??}:={{\left. \quad{\left( {{??},\left\{ {k_{0,0}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{0,{\mu + 1}}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;{{\ldots\mspace{11mu} f_{\tau}};{\iota = 0}},1}} \right),\mspace{20mu}{{ct}_{\Gamma}:=\left( {\Gamma,c_{0},\left\{ c_{t} \right\}_{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma},c_{d + 1}} \right)}} \right):\mspace{79mu}{{if}\mspace{14mu}{??}}}:={{\left( {{??},\mathcal{B},{d(x)},\rho} \right)\mspace{14mu}{accepts}\mspace{14mu}\Gamma}:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \right\}}}},{{{then}\mspace{14mu}{compute}\mspace{14mu} I_{\delta}} \subseteq \left\{ {1,\ldots\mspace{14mu},L} \right\}},\left( {\alpha_{1},\ldots\mspace{14mu},\alpha_{L}} \right),{{\left( {\beta_{1},\ldots\mspace{14mu},\beta_{L}} \right)\mspace{14mu}{and}\mspace{20mu}{\kappa\mspace{14mu}{with}\mspace{14mu}{h_{\tau,\kappa,\iota}(x)}}}:={h_{\tau,\kappa,\iota,0} + {h_{\tau,\kappa,\iota,1}x} + \ldots + {h_{\tau,\kappa,\iota,\mu}x^{\mu}\mspace{20mu}{{{for}\mspace{14mu}{all}\mspace{14mu}\tau} = 1}}}},\ldots\mspace{14mu},{{m\mspace{14mu}{and}\mspace{14mu}\iota} = 0},{1\mspace{14mu}{such}\mspace{14mu}{that}\mspace{20mu}{{{h_{\tau,\kappa,0}(x)} \cdot {d_{\tau}(x)}^{\kappa}} = {{a_{0}(x)} + {\sum\limits_{i = 1}^{L}{\alpha_{i}{a_{i}(x)}}}}}},{{and}\mspace{20mu}{{{{h_{\tau,\kappa,1}(x)} \cdot {d_{\tau}(x)}}f_{\tau}^{- \kappa}} = {{b_{0}(x)} + {\sum\limits_{i = 1}^{L}{\beta_{i}{b_{i}(x)}}}}}},{K_{\tau,0}:={{e\left( {c_{0},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,0,j}k_{0,j}^{*{({\tau,\kappa,0})}}}}} \right)} \cdot {e\left( {c_{0},k_{0,{\mu + 1}}^{*{({\tau,\kappa,0})}}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,0})}}} \right)}{\alpha_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}}}},{K_{\tau,1}:={{e\left( {c_{0},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,1,j}k_{0,j}^{*{({\tau,\kappa,1})}}}}} \right)} \cdot {e\left( {c_{0},k_{0,{\mu + 1}}^{*{({\tau,\kappa,1})}}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,1})}}} \right)}{\beta_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}}}},\mspace{20mu}{{{where}\mspace{14mu} I_{\delta, +}}:={{\left\{ {\left. {i \in I_{\delta}} \middle| {\rho(i)} \right. = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)} \right\}\mspace{14mu}{and}\mspace{20mu} I_{\delta, -}}:={{{\left\{ {\left. {i \in I_{\delta}} \middle| {\rho(i)} \right. = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}} \right\}.\mspace{11mu}\mspace{20mu}{return}}\mspace{14mu}{msg}^{\prime}}:={c_{d + 1}/{\left( {\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} \right).}}}}}} \right.} & \left\lbrack {{Formula}\mspace{14mu} 180} \right\rbrack \end{matrix}$

As described above, a cryptographic system 10 according to Embodiment 4 implements the functional encryption scheme by treating the element obtained by substituting the random value γ into the polynomial d_(τ)(x)^(κ) and the element obtained by substituting the random value γ into the polynomial d_(τ)(x)^(fτ-κ), as key elements.

The KP-FE scheme has been described above. If the KeyGen algorithm, Enc algorithm, and Dec algorithm are modified as indicated in Formulas 181 to 184, the CP-FE scheme may be realized. Note that the Setup algorithm is the same between the KP-FE scheme and the CP-FE scheme.

$\begin{matrix} {\mspace{79mu}{{{{KeyGen}\left( {{pk},{sk},{\Gamma:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \middle| {1 \leq t \leq d} \right\}}} \right)}\text{:}}\mspace{20mu}{{\omega\overset{U}{\longleftarrow}{??}_{q}},\mspace{20mu}{{\overset{\rightarrow}{\varphi}}_{0}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},\mspace{20mu}{{{{\overset{\rightarrow}{\varphi}}_{t}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}}\mspace{14mu}{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},{k_{0}^{*}:={\left( {\overset{\overset{n_{0}}{︷}}{\omega,0,\ldots\mspace{14mu},0,}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\varphi}}_{0},}\mspace{14mu}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{14mu},0,1}} \right){??}_{0}^{*}}},\mspace{20mu}{k_{t}^{*}:={\left( {\overset{\overset{n_{t}}{︷}}{{\omega\;{\overset{\rightarrow}{x}}_{t}},0,\ldots\mspace{14mu},0}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\mspace{14mu}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\varphi}}_{t},}\mspace{14mu}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{14mu},0}} \right){??}_{t}^{*}}},\mspace{20mu}{{{for}\mspace{14mu}\left( {t,{\overset{\rightarrow}{x}}_{t}} \right)} \in \Gamma},\mspace{20mu}{{{return}\mspace{14mu}{sk}_{\Gamma}}:={\left( {\Gamma,k_{0}^{*},\left\{ k_{t}^{*} \right\}_{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma}} \right).}}}}} & \left\lbrack {{Formula}\mspace{14mu} 181} \right\rbrack \\ {{{{Enc}\left( {{pk},{msg},{{??}:=\left( {{??},\mathcal{B},{{d(x)} = {\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{f_{\tau}}}},\rho} \right)}} \right)}\text{:}}\mspace{20mu}{{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\pi_{\tau}}}},\mspace{79mu}{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},}} & \left\lbrack {{Formula}\mspace{14mu} 182} \right\rbrack \\ {{{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\chi_{\tau}}}},\mspace{79mu}{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{20mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{79mu}{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{14mu},f_{\tau},{\iota = 0},1,\mspace{79mu}{\gamma\overset{U}{\longleftarrow}{??}_{q}},{\overset{\rightarrow}{\eta}}_{0,0},\ldots\mspace{20mu},{{\overset{\rightarrow}{\eta}}_{0,\mu}\overset{U}{\longleftarrow}{??}_{q}^{z_{0}}},{{\overset{\rightarrow}{\eta}}_{0,{\mu + I}}\overset{U}{\longleftarrow}{??}_{q}^{z_{0} - 1}}}\mspace{20mu}{{{{for}\mspace{14mu} j} = 0},\ldots\mspace{14mu},\mu,}} & \; \\ {{c_{0,j}^{({\tau,\kappa,0})}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{\gamma^{j} \cdot {d_{\tau}(\gamma)}^{\kappa}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,0})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,j}}} \right){??}_{0}}},{c_{0,j}^{({\tau,\kappa,1})}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{\gamma^{j} \cdot {d_{\tau}(\gamma)}^{f_{\tau} - \kappa}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,1})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,j}}} \right){??}_{0}}},\mspace{20mu}{s_{0}:={{{- {a_{0}(\gamma)}}\mspace{14mu}{if}\mspace{14mu}\iota} = 0}},{s_{0}:={{{- {b_{0}(\gamma)}}\mspace{14mu}{if}\mspace{14mu}\iota} = 1}},{c_{0,{\mu + 1}}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{s_{0} + \pi_{\tau,\kappa,\iota}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{0,{\ldots\mspace{14mu} 0},,}\overset{\overset{z_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,{\mu + 1}},{\zeta\chi}_{\tau,\kappa,\iota}}} \right){??}_{0}}},} & \; \\ {\mspace{79mu}{{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},\mspace{20mu}{\xi_{i,m,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{20mu},{L;{\iota = 0}},1} \right)}}}},\mspace{20mu}{s_{i}:={{{- {a_{i}(\gamma)}} + {\xi_{i,\tau,0}\mspace{14mu}{if}\mspace{14mu}\iota}} = 0}},\mspace{20mu}{s_{i}:={{{- {b_{i}(\gamma)}} + {\xi_{i,\tau,1}\mspace{14mu}{if}\mspace{14mu}\iota}} = 1}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}},}} & \left\lbrack {{Formula}\mspace{14mu} 183} \right\rbrack \\ {{c_{i}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{t}}{︷}}{{\delta\left( {{s_{i}{\overset{\rightarrow}{e}}_{1}} + {\theta_{i}{\overset{\rightarrow}{v}}_{i}}} \right)},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}}} \right){??}_{t}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{z_{t}}},\mspace{79mu}{c_{i}^{({\tau,\kappa,\iota})}:={\left( {\overset{\overset{n_{t}}{︷}}{{\delta\; s_{i}{\overset{\rightarrow}{v}}_{i}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{0,{\ldots\mspace{14mu} 0},}\overset{\overset{z_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i}}} \right){??}_{t}}},\mspace{20mu}{c_{d + 1}:={g_{T}^{\zeta}{msg}}},{{{return}\mspace{14mu}{ct}_{??}}:={\left( {{??},\left\{ {c_{0,0}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},c_{0,{\mu + 1}}^{({\tau,\kappa,\iota})},c_{1}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},c_{L}^{({\tau,\kappa,\iota})}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;\ldots\mspace{11mu},{f_{\tau};{\iota = 0}},1},c_{d + 1}} \right).}}} & \; \\ {{{{{Dec}\left( {{pk},{{ct}_{??}:=\left( {{??},\left\{ {c_{0,0}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},c_{0,{\mu + 1}}^{({\tau,\kappa,\iota})},c_{1}^{({\tau,\kappa,\iota})},\ldots\mspace{14mu},c_{L}^{({\tau,\kappa,\iota})}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;\ldots\mspace{11mu},{f_{\tau};{\iota = 0}},1},c_{d + 1}} \right)},\mspace{20mu}{{sk}_{\Gamma}:=\left( {\Gamma,k_{0}^{*},\left\{ k_{t}^{*} \right\}_{{({t,{\overset{\rightarrow}{x}}_{t}})} \in \Gamma}} \right)}} \right)}:\mspace{79mu}{{if}\mspace{14mu}{??}}}:={{\left( {{??},\mathcal{B},{d(x)},\rho} \right)\mspace{14mu}{accepts}\mspace{14mu}\Gamma}:=\left\{ \left( {t,{\overset{\rightarrow}{x}}_{t}} \right) \right\}}},} & \left\lbrack {{Formula}\mspace{14mu} 184} \right\rbrack \\ {{{{{{{then}\mspace{14mu}{compute}\mspace{14mu} I_{\delta}} \subseteq \left\{ {1,\ldots\mspace{14mu},L} \right\}},\left( {\alpha_{1},\ldots\mspace{14mu},\alpha_{L}} \right),{\left( {\beta_{1},\ldots\mspace{14mu},\beta_{L}} \right)\mspace{14mu}{and}}}\mspace{20mu}{{\kappa\mspace{14mu}{with}\mspace{14mu}{h_{\tau,\kappa,\iota}(x)}}:={h_{\tau,\kappa,\iota,0} + {h_{\tau,\kappa,\iota,1}x} + \ldots + {h_{\tau,\kappa,\iota,\mu}x^{\mu}}}}\mspace{20mu}{{{{for}\mspace{14mu}{all}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},{{m\mspace{14mu}{and}\mspace{14mu}\iota} = 0},{1\mspace{14mu}{such}\mspace{14mu}{that}}}\mspace{20mu}{{{h_{\tau,\kappa,0}(x)} \cdot {d_{\tau}(x)}^{\kappa}} = {{a_{0}(x)} + {\sum\limits_{i = 1}^{L}{\alpha_{i}{a_{i}(x)}}}}}},{and}}\mspace{20mu}{{{{{h_{\tau,\kappa,1}(x)} \cdot {d_{\tau}(x)}}f_{\tau}^{- \kappa}} = {{b_{0}(x)} + {\sum\limits_{i = 1}^{L}{\beta_{i}{b_{i}(x)}}}}},{K_{\tau,0}:={{e\left( {k_{0}^{*},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,0,j}c_{0,j}^{({\tau,\kappa,0})}}}} \right)} \cdot {e\left( {k_{0}^{*},c_{o,{\mu + 1}}^{({\tau,\kappa,0})}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {k_{t}^{*},c_{i}^{({\tau,\kappa,0})}} \right)}{\alpha_{i} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {k_{t}^{*},c_{i}^{({\tau,\kappa,0})}} \right)}{\alpha_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}}}},}} & \; \\ {{{K_{\tau,1}:={{e\left( {k_{0}^{*},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,1,j}c_{0,j}^{({\tau,\kappa,1})}}}} \right)} \cdot {e\left( {k_{0}^{*},c_{0,{\mu + 1}}^{({\tau,\kappa,1})}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {k_{t}^{*},c_{i}^{({\tau,\kappa,1})}} \right)}{\beta_{i} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {k_{t}^{*},c_{i}^{({\tau,\kappa,1})}} \right)}{\beta_{i}/\left( {{\overset{\rightarrow}{v}}_{i} \cdot {\overset{\rightarrow}{x}}_{t}} \right)}}}}}}}},\mspace{20mu}{{{where}\mspace{14mu} I_{\delta, +}}:={\left\{ {\left. {i \in I_{\delta}} \middle| {\rho(i)} \right. = \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)} \right\}\mspace{14mu}{and}}}}\mspace{20mu}{I_{\delta, -}:={{{\left\{ {\left. {i \in I_{\delta}} \middle| {\rho(i)} \right. = {⫬ \left( {t,{\overset{\rightarrow}{v}}_{i}} \right)}} \right\}.\mspace{11mu}\mspace{20mu}{return}}\mspace{14mu}{msg}^{\prime}}:={c_{d + 1}/{\left( {\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} \right).}}}}} & \; \end{matrix}$

The functional encryption scheme has been described above. If the KeyGen algorithm and Dec algorithm are modified as indicated in Formulas 185 to 187, an attribute-based encryption scheme may be realized. With the attribute-based encryption scheme, in the Setup algorithm, n_(t) is 2mf_(max)k_(max)+2. The Setup algorithm is the same as the Setup algorithm indicated in Formula 149, and the Enc algorithm is the same as the Enc algorithm indicated in Formula 152.

$\begin{matrix} {{{{KeyGen}\left( {{pk},{sk},{{??}:=\left( {{??},\mathcal{B},{{d(x)} = {\prod\limits_{\tau = 1}^{m}\;{d_{\tau}(x)}^{f_{\tau}}}},\rho} \right)}} \right)}\text{:}}\mspace{20mu}{{\pi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\pi_{m}:={- {\sum\limits_{\tau = 1}^{m - 1}\pi_{\tau}}}},\mspace{79mu}{\pi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},}} & \left\lbrack {{Formula}\mspace{14mu} 185} \right\rbrack \\ {{\pi_{\tau,\kappa,1}:={\pi_{\tau} - {\pi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{14mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{\chi_{\tau}\overset{U}{\longleftarrow}{??}_{q}},\left( {{\tau = 1},\ldots\mspace{14mu},{m - 1}} \right),{\chi_{m}:={1 - {\sum\limits_{\tau = 1}^{m - 1}\chi_{\tau}}}},\mspace{79mu}{\chi_{\tau,\kappa,0}\overset{U}{\longleftarrow}{??}_{q}},{\chi_{\tau,\kappa,1}:={\chi_{\tau} - {\chi_{\tau,\kappa,0}\left( {{\tau = 1},\ldots\mspace{20mu},{m;{\kappa = 0}},\ldots\mspace{14mu},f_{\tau}} \right)}}},\mspace{20mu}{{{for}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},m,{\kappa = 0},\ldots\mspace{20mu},f_{\tau},{\iota = 0},1,\mspace{20mu}{\gamma\overset{U}{\longleftarrow}{??}_{q}},{\overset{\rightarrow}{\eta}}_{0,0},\ldots\mspace{14mu},{{\overset{\rightarrow}{\eta}}_{0,{\mu + 1}}\overset{U}{\longleftarrow}{??}_{q}^{w_{0}}},\mspace{20mu}{{{for}\mspace{14mu} j} = 0},\ldots\mspace{14mu},\mu,} & \; \\ {{k_{0,j}^{*{({\tau,\kappa,0})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{\gamma^{j} \cdot {d_{\tau}(\gamma)}^{\kappa}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,0})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,j},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{0}^{*}}},{k_{0,j}^{*{({\tau,\kappa,1})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{\gamma^{j} \cdot {d_{\tau}(\gamma)}^{f_{\tau} - \kappa}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,1})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,j},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{0}^{*}}},\mspace{20mu}{s_{0}:={{{- {a_{0}(\gamma)}}\mspace{14mu}{if}\mspace{14mu}\iota} = 0}},{s_{0}:={{{- {b_{0}(\gamma)}}\mspace{14mu}{if}\mspace{14mu}\iota} = 1}},{k_{0,{\mu + 1}}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{0}}{︷}}{{\delta\left( {{s_{0} + \pi_{\tau,\kappa,\iota}},{\overset{\rightarrow}{e}}_{0}^{({\tau,\kappa,\iota})}} \right)},}\overset{\overset{u_{0}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{0}}{︷}}{{\overset{\rightarrow}{\eta}}_{0,{\mu + 1}},}\overset{\overset{z_{0}}{︷}}{0,\ldots\mspace{20mu},0,\chi_{\tau,\kappa,\iota}}} \right){??}_{0}^{*}}},} & \; \\ {\mspace{79mu}{{{{for}\mspace{14mu} i} = 1},\ldots\mspace{14mu},L,{\xi_{i,\tau,\iota}\overset{U}{\longleftarrow}{{??}_{q}\left( {{i = 1},\ldots\mspace{14mu},{L;{\tau = 1}},\ldots\mspace{14mu},{{m - 1};{\iota = 0}},1} \right)}},\mspace{20mu}{\xi_{i,m,\iota}:={- {\sum\limits_{\tau = 1}^{m - 1}{\xi_{i,\tau,\iota}\left( {{i = 1},\ldots\mspace{20mu},{L;{\iota = 0}},1} \right)}}}},\mspace{20mu}{s_{i}:={{{- {a_{i}(\gamma)}} + {\xi_{i,\tau,0}\mspace{14mu}{if}\mspace{14mu}\iota}} = 0}},\mspace{20mu}{s_{i}:={{{- {b_{i}(\gamma)}} + {\xi_{i,\tau,1}\mspace{14mu}{if}\mspace{14mu}\iota}} = 1}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = \left( {t,v_{i}} \right)},{\theta_{i}\overset{U}{\longleftarrow}{??}_{q}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},}} & \left\lbrack {{Formula}\mspace{14mu} 186} \right\rbrack \\ {{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{\delta\left( {{s_{i} + {\theta_{i}v_{i}} - \theta_{i}},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})}} \right)},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*}}},\mspace{20mu}{{{if}\mspace{14mu}{\rho(i)}} = {⫬ \left( {t,v_{i}} \right)}},{{\overset{\rightarrow}{\eta}}_{i}\overset{U}{\longleftarrow}{??}_{q}^{w_{t}}},\;{k_{i}^{*{({\tau,\kappa,\iota})}}:={\left( {\overset{\overset{n_{t}}{︷}}{{\delta\left( \;{{s_{i}v_{i}},s_{i},{\overset{\rightarrow}{e}}_{i}^{({\tau,\kappa,\iota})}} \right)},}\overset{\overset{u_{t}}{︷}}{0,\ldots\mspace{14mu},0,}\overset{\overset{w_{t}}{︷}}{{\overset{\rightarrow}{\eta}}_{i},}\overset{\overset{z_{t}}{︷}}{0,\ldots\mspace{20mu},0}} \right){??}_{t}^{*}}},{{{return}\mspace{14mu}{sk}_{??}}:={\left( {{??},\left\{ {k_{0,0}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{0,{\mu + 1}}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;\ldots\mspace{11mu},{f_{\tau};{\iota = 0}},1}} \right).}}} & \; \\ {{{{{Dec}\left( {{pk},{{sk}_{??}:=\left( {{??},\left\{ {k_{0,0}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{0,{\mu + 1}}^{*{({\tau,\kappa,\iota})}},k_{1}^{*{({\tau,\kappa,\iota})}},\ldots\mspace{14mu},k_{L}^{*{({\tau,\kappa,\iota})}}} \right\}_{{\tau = 1},\;\ldots\mspace{11mu},{m;{\kappa = 0}},\;{{\ldots\mspace{11mu} f_{\tau}};{\iota = 0}},1}} \right)},\mspace{20mu}{{ct}_{\Gamma}:=\left( {\Gamma,c_{0},\left\{ c_{t} \right\}_{{({t,x_{t}})} \in \Gamma},c_{d + 1}} \right)}} \right)}:\mspace{79mu}{{if}\mspace{14mu}{??}}}:={{\left( {{??},\mathcal{B},{d(x)},\rho} \right)\mspace{14mu}{accepts}\mspace{14mu}\Gamma}:=\left\{ \left( {t,x_{t}} \right) \right\}}},} & \left\lbrack {{Formula}\mspace{14mu} 187} \right\rbrack \\ {{{{{{{then}\mspace{14mu}{compute}\mspace{14mu} I_{\delta}} \subseteq \left\{ {1,\ldots\mspace{14mu},L} \right\}},\left( {\alpha_{1},\ldots\mspace{14mu},\alpha_{L}} \right),{\left( {\beta_{1},\ldots\mspace{14mu},\beta_{L}} \right)\mspace{14mu}{and}}}\mspace{20mu}{{\kappa\mspace{14mu}{with}\mspace{14mu}{h_{\tau,\kappa,\iota}(x)}}:={h_{\tau,\kappa,\iota,0} + {h_{\tau,\kappa,\iota,1}x} + \ldots + {h_{\tau,\kappa,\iota,\mu}x^{\mu}}}}\mspace{20mu}{{{{for}\mspace{14mu}{all}\mspace{14mu}\tau} = 1},\ldots\mspace{14mu},{{m\mspace{14mu}{and}\mspace{14mu}\iota} = 0},{1\mspace{14mu}{such}\mspace{14mu}{that}}}\mspace{20mu}{{{h_{\tau,\kappa,0}(x)} \cdot {d_{\tau}(x)}^{\kappa}} = {{a_{0}(x)} + {\sum\limits_{i = 1}^{L}{\alpha_{i}{a_{i}(x)}}}}}},{and}}\mspace{20mu}{{{{{h_{\tau,\kappa,1}(x)} \cdot {d_{\tau}(x)}}f_{\tau}^{- \kappa}} = {{b_{0}(x)} + {\sum\limits_{i = 1}^{L}{\beta_{i}{b_{i}(x)}}}}},{K_{\tau,0}:={{e\left( {c_{0},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,0,j}k_{0,j}^{*{({\tau,\kappa,0})}}}}} \right)} \cdot {e\left( {c_{0},k_{0,{\mu + 1}}^{*{({\tau,\kappa,0})}}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,0})}}} \right)}{\alpha_{i} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,0})}}} \right)}{\alpha_{i}/\left( {v_{i} \cdot x_{t}} \right)}}}}}}}},}} & \; \\ {{{K_{\tau,1}:={{e\left( {c_{0},{\sum\limits_{j = 0}^{\mu}{h_{\tau,\kappa,1,j}k_{0,j}^{*{({\tau,\kappa,1})}}}}} \right)} \cdot {e\left( {c_{0},k_{0,{\mu + 1}}^{*{({\tau,\kappa,1})}}} \right)} \cdot {\prod\limits_{{i \in I_{\delta}}, +}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,1})}}} \right)}{\beta_{i} \cdot {\prod\limits_{{i \in I_{\delta}}, -}\;{{e\left( {c_{t},k_{i}^{*{({\tau,\kappa,1})}}} \right)}{\beta_{i}/\left( {v_{i} \cdot x_{t}} \right)}}}}}}}},\mspace{20mu}{{{where}\mspace{14mu} I_{\delta, +}}:={\left\{ {\left. {i \in I_{\delta}} \middle| {\rho(i)} \right. = \left( {t,v_{i}} \right)} \right\}\mspace{14mu}{and}}}}\mspace{20mu}{I_{\delta, -}:={{{\left\{ {\left. {i \in I_{\delta}} \middle| {\rho(i)} \right. = {⫬ \left( {t,v_{i}} \right)}} \right\}.\mspace{11mu}\mspace{20mu}{return}}\mspace{14mu}{msg}^{\prime}}:={c_{d + 1}/{\left( {\prod\limits_{\tau = 1}^{m}\;{K_{\tau,0}K_{\tau,1}}} \right).}}}}} & \; \end{matrix}$

By conducting the same modification, the CP-FE scheme indicated in Formulas 181 to 184 can be altered to the attribute-based encryption scheme.

In the above explanation, n₀+u₀+w₀+z₀ is set in N₀ and n_(t)+u_(t)+w_(t)+z_(t) is set in N_(t). K for example, u₀=n₀, w₀=n₀, and z₀=2, then n₀+n₀+n₀+2=3n₀+2 may be set in N₀. If u_(t)=n_(t), w_(t)=n_(t), and z_(t)=2, then n_(t)+n, +n_(t)+2=3n_(t)+2 may be set in N_(t).

The above explanation presents a functional encryption scheme in which, as with the functional encryption scheme according to Embodiment 2, the length of the decryption key and ciphertext increases but the number of bases decreases. Based on the functional encryption scheme according to Embodiments 3 and 4, the functional encryption scheme according to Embodiment 4 can be easily transformed into a functional encryption scheme in which the number of bases increases but the degree number of each basis decreases, as with the functional encryption scheme according to Embodiment 3.

The above embodiments explained the KP-FE scheme and the CP-FE scheme. The Unified-Policy FE (UP-FE) scheme described in Non-Patent Literature 4 can be easily constructed from the KP-FE scheme and the CP-FE scheme.

Embodiment 5.

In the above embodiments, the method of implementing the cryptographic process in the dual vector spaces has been described. In Embodiment 5, a method of implementing a cryptographic process in dual additive groups will be described.

In brief, in the above embodiments, a cryptographic primitive process is implemented in the cyclic group of the prime order q. If a ring R is expressed using a composite number M, as in Formula 188, the cryptographic process described in the above embodiments can be applied to an additive group having a ring R as a coefficient.

:=

/M

  [Formula 188] where

-   : an integer; and -   M: a composite number

If F_(q) in the algorithm explained in the above embodiments is changed to R, the cryptographic primitive process in the dual additive group can be implemented.

In the above embodiments, from the viewpoint of security proof, ρ(i) concerning each integer i of i=1, . . . , L can be limited to a positive tuple (t, v^(→)) or negative tuple

(t, v^(→)) for different corresponding identification information t.

In other words, let a function ρ^(˜) be map of {1, . . . , L}→{1, . . . , d} being ρ^(˜)(i)=t when ρ(i)=(t, v^(→)) or ρ(i)=

(t, v^(→)). In this case, ρ^(˜) may be limited to injection. Note that ρ(i) is ρ(i) in the access structure S:=(M, ρ(i)) described above.

The hardware configuration of a cryptographic processing system 10 (a key generation device 100, an encryption device 200, and a decryption device 300) in this embodiment will be described.

FIG. 13 is a diagram showing an example of the hardware configuration of each of the key generation device 100, the encryption device 200, and the decryption device 300.

As shown in FIG. 13, each of the key generation device 100, encryption device 200, and decryption device 300 includes a CPU 911 (Central Processing Unit; also referred to as central processing device, processing device, computation device, microprocessor, microcomputer, or processor) which executes programs. The CPU 911 is connected to a ROM 913, a RAM 914, an LCD 901 (Liquid Crystal Display), a keyboard 902 (K/B), a communication board 915, and a magnetic disk device 920 via a bus 912, and controls these hardware devices. In place of the magnetic disk device 920 (fixed disk device), a storage device such as an optical disk device or memory card read/write device may be employed. The magnetic disk device 920 is connected via a predetermined fixed disk interface.

The ROM 913 and the magnetic disk device 920 are examples of a nonvolatile memory. The RAM 914 is an example of a volatile memory. The ROM 913, the RAM 914, and the magnetic disk device 920 are examples of the storage device (memory). The keyboard 902 and the communication board 915 are examples of an input device. The communication board 915 is an example of a communication device. Furthermore, the LCD 901 is an example of a display device.

The magnetic disk device 920, ROM 913, or the like stores an operating system 921 (OS), a window system 922, programs 923, and files 924. The CPU 911, the operating system 921, and the window system 922 execute each program of the programs 923.

The programs 923 store software and programs that execute the functions described as the “master key generation part 110”, “master key storage part 120”, “information input part 130”, “decryption key generation part 140”, “key distribution part 150”, “public parameter acquisition part 210”, “information input part 220”, “encrypted data generation part 230”, “data transmission part 240”, “information acquisition part 310”, “span program calculation part 320”, “complementary coefficient calculation part 330”, “decryption part 340”, and the like in the above description, and other programs. The programs are read and executed by the CPU 911.

The files 924 store information, data, signal values, variable values, and parameters such as the “public parameters pk”, “master secret key sk”, “decryption keys sk_(v) and sk_(Γ)”, “ciphertexts ct_(Γ) and ct_(s)”, “access structure S”, “attribute information”, “message msg”, and the like of the above explanation, as the items of a “file” and “database”. The “file” and “database” are stored in a recording medium such as a disk or memory. The information, data, signal values, variable values, and parameters stored in the recording medium such as the disk or memory are read out to the main memory or cache memory by the CPU 911 through a read/write circuit, and are used for the operations of the CPU 911 such as extraction, search, look-up, comparison, computation, calculation, process, output, print, and display. The information, data, signal values, variable values, and parameters are temporarily stored in the main memory, cache memory, or buffer memory during the operations of the CPU 911 including extraction, search, look-up, comparison, computation, calculation, process, output, print, and display.

The arrows of the flowcharts in the above explanation mainly indicate input/output of data and signals. The data and signal values are recorded in the memory of the RAM 914, the recording medium such as an optical disk, or in an IC chip. The data and signals are transmitted online via a transmission medium such as the bus 912, signal lines, or cables; or electric waves.

The “part” in the above explanation may be a “circuit”, “device”, “equipment”, “means” or “function”; or a “step”, “procedure”, or “process”. The “device” may be a “circuit”, “equipment”, “means”, or “function”; or a “step”, “procedure”, or “process”. The “process” may be a “step”. Namely, the “part” may be implemented by firmware stored in the ROM 913. Alternatively, the “part” may be implemented by only software; by only hardware such as an element, a device, a substrate, or a wiring line; by a combination of software and hardware; or furthermore by a combination of software, hardware, and firmware. The firmware and software are stored, as a program, in the recording medium such as the ROM 913. The program is read by the CPU 911 and executed by the CPU 911. Namely, the program causes the computer or the like to function as a “part” described above. Alternatively, the program causes the computer or the like to execute the procedure and method of the “part” described above.

REFERENCE SIGNS LIST

100: key generation device; 110: master key generation part; 120: master key storage part; 130: information input part; 140: decryption key generation part; 141: secret information generation part; 142: key element generation part; 150: key distribution part; 200: encryption device; 210: public parameter acquisition part; 220: information input part; 230: encrypted data generation part; 240: data transmission part; 300: decryption device; 311: decryption key acquisition part; 312: ciphertext acquisition part; 320: span program calculation part; 330: complementary coefficient calculation part; 331: polynomial selection part; 332: coefficient calculation part; 340: decryption part; 341: pairing operation part; 342: message calculation part 

The invention claimed is:
 1. A cryptographic system comprising: an encryption device; and a decryption device, wherein the encryption device includes a ciphertext generation part, implemented by encryption device circuitry, which generates one of first information and second information, as a ciphertext, the first information including a polynomial d(x), a plurality of polynomials D_(i)(x), and predicate information, and the second information including attribute information; the decryption device includes a polynomial selection part, implemented by circuitry, which, treating as a decryption key one of the first information and the second information not generated as the ciphertext and based on the predicate information included in the first information and the attribute information included in the second information, selects at least one polynomial D_(i)(x) from the plurality of polynomials D_(i)(x), a coefficient calculation part, implemented by the circuitry, which calculates a coefficient Δ_(i)that enables a polynomial constituted based on a polynomial Δ_(i)D_(i)(x) to be divided out by the polynomial d(x), the polynomial Δ_(i)D_(i)(x) being obtained by multiplying the polynomial D_(i)(x) selected by the polynomial selection part, by the coefficient Δ_(i), and a decryption part, implemented by the circuitry, which decrypts the ciphertext based on the coefficient Δ_(i) calculated by the coefficient calculation part.
 2. The cryptographic system according to claim 1, wherein the plurality of polynomials D_(i)(x) include a polynomial a_(i)(x) and a polynomial b_(i)(x) concerning each integer i of i=0, . . . , L, L being an integer of 1 or more, wherein the polynomial selection part, based on the attribute information and the predicate information, selects a set I of an integer i out of i=1, . . . , L, thereby selecting a polynomial a₀(x) and a polynomial b₀(x), and the polynomial a_(i)(x) and the polynomial b_(i)(x) concerning the integer i included in the set I, and wherein the coefficient calculation part calculates, as the coefficient Δ_(i), a coefficient α_(i) and a coefficient that enable β_(i) that enable (a₀(x)+Σ_(iεI)α_(i)a_(i)(x))·(b₀(x)+Σ_(iεI)β_(i)b_(i)(x)) to be divided out by the polynomial d(x).
 3. The cryptographic system according to claim 2, wherein the polynomial d(x) is factorized into a polynomial d_(τ)(x)^(fτ) where τ=1, . . . m, m being an integer of 1 or more, wherein the coefficient calculation part calculates the coefficient α_(i), the coefficient β_(i), and a degree κ_(τ) that enable Π_(τ=1) ^(m)d_(τ)(x)^(κτ) to divide out (a₀(x)+Σ_(iεI)α_(i)a_(i)(x)) and enable Π_(τ=1) ^(m)d₉₆ (x) ^(fτ−κτ) to divide out (b₀(x)+Σ_(iεI)β_(i)b_(i)(x)), and wherein the decryption part decrypts the ciphertext based on the coefficient α_(i), the coefficient β_(i), and the degree κ_(τ).
 4. The cryptographic system according to claim 2, wherein the attribute information includes an attribute vector x^(→) _(t) concerning at least one integer t of t=1, . . . , d, d being an integer of 1 or more, wherein the predicate information includes a tuple (t, v^(→) _(i)) of an identifier t and a predicate vector v^(→) _(i) concerning each integer i of i=1, . . . , L, and wherein the polynomial selection part determines, concerning the tuple (t, v^(→) _(i)) concerning each integer i of i=1, . . . , L, whether or not the integer i is to be included in the set I, based on whether or not an inner-product of the predicate vector v^(→) _(i) of the tuple and the attribute vector x^(→) _(i) concerning the identification information t of the tuple is
 0. 5. The cryptographic system according to claim 4, wherein the tuple (t, v^(→) _(i)) is related to either one of a positive tuple and a negative tuple, and wherein the polynomial selection part, when the tuple (t, v^(→) _(i)) is related to the positive tuple, includes the integer i into the set I if the inner-product is 0, and when the tuple (t, v^(→) _(i)) is related to the negative tuple, includes the integer i into the set I if the inner-product is not
 0. 6. The cryptographic system according to claim 1, wherein the polynomial d(x) is factorized into a polynomial d_(τ)(x)^(fτ) where τ=1, . . . , m, m being an integer of 1 or more, wherein the first information includes, for each polynomial d_(τ)(x)^(fτ), an element in which information obtained by the polynomial d_(τ)(x)^(fτ) is set, and wherein the decryption part decrypts the ciphertext based on the coefficient Δ_(i) and the element.
 7. The cryptographic system according to claim 6, wherein the first information includes, for each polynomial d_(τ),(x)^(fτ) and concerning each integer κ of κ=0, . . . , f_(τ) and each integer i of i=0, . . . , L, an element in which a remainder of dividing the polynomial a_(i)(x) by a polynomial d_(υ)(x)^(κ) is set and an element in which a remainder of dividing the polynomial b_(i)(x) by a polynomial d_(τ)(x)^(fτ−κ) is set.
 8. The cryptographic system according to claim 6, wherein the first information includes, for each polynomial d_(τ)(x)^(fτ), an element in which a value substituted by a predetermined value γ is set.
 9. The cryptographic system according to claim 6, wherein the decryption part carries out, based on the coefficient Δ_(i), a predetermined operation concerning the element in order to render information obtained from the polynomial d_(τ)(x)^(fτ) to 0, thereby decrypting the ciphertext.
 10. A cryptographic method comprising: generating, with an encryption device, as a ciphertext, one of first information and second information, the first information including a polynomial d(x), a plurality of polynomials D_(i)(x), and predicate information, and the second information including attribute information; treating, with a decryption device, as a decryption key, one of the first information and the second information not generated as the ciphertext and based on the predicate information included in the first information and the attribute information included in the second information, selecting at least one polynomial D_(i)(x) from the plurality of polynomials D_(i)(x); calculating, with the decryption device, coefficient Δ_(i) that enables a polynomial constituted based on a polynomial Δ_(i)D_(i)(x) to be divided out by the polynomial d(x), the polynomial Δ_(i)D_(i)(x) being obtained by multiplying the polynomial D_(i)(x) selected in the selecting, by the coefficient Δ_(i); and decrypting, with the decryption device, the ciphertext based on the coefficient Δ_(i) calculated in the calculating.
 11. A non-transitory computer readable medium including a cryptographic program which causes a computer to execute: generating, as a ciphertext, one of first information and second information, the first information including a polynomial d(x), a plurality of polynomials D_(i)(x), and predicate information, and the second information including attribute information; treating, as a decryption key, one of the first information and the second information not generated as the ciphertext and based on the predicate information included in the first information and the attribute information included in the second information, selecting at least one polynomial D_(i)(x) from the plurality of polynomials D_(i)(x); calculating a coefficient Δ_(i) that enables a polynomial constituted based on a polynomial Δ_(i)D_(i)(x) to be divided out by the polynomial d(x), the polynomial Δ_(i)D_(i)(x) being obtained by multiplying the polynomial D_(i)(x) selected in the selecting, by the coefficient Δ_(i); and decrypting the ciphertext based on the coefficient Δ_(i) calculated in the calculating.
 12. A decryption device comprising: circuitry configured to acquire, as a ciphertext, one of first information and second information, the first information including a polynomial d(x), a plurality of polynomials D_(i)(x), and predicate information, and the second information including attribute information, and, as a decryption key, one of the first information and the second information not acquired as the ciphertext, based on the predicate information included in the first information and the attribute information included in the second information, the first information and the second information being generated by the circuitry, select at least one polynomial D_(i)(x) from the plurality of polynomials D_(i)(x), calculate a coefficient Δ_(i) that enables a polynomial constituted based on a polynomial Δ_(i)D_(i)(x) to be divided out by the polynomial d(x), the polynomial Δ_(i)D_(i)(x) being obtained by multiplying the polynomial D_(i)(x) selected by the circuitry, by the coefficient Δ_(i) , and decrypt the ciphertext by the decryption key based on the coefficient Δ_(i) calculated by the circuitry. 